at://
/
app.bsky.feed.post
/
3mmwvcskupk2m
sign in
All
4
Record
2
Post
1
PostEmbed
1
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
Although it started out as a theorem prover, Lean 4 is a general-purpose programming language that has the potential to challenge OCaml's `throne`.