This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
dan
danabra.mov
did:plc:fpruhuo22xkm5o7ttr2ktxdo
fun fact: Lean can represent real numbers
not floats (although Lean can do them). not doubles. not even arbitrary precision floats, but *actual* reals — which includes the squared root of 2, the exact number Pi (not an approximation!), fractions like 0.111... and so on.
this still blows my mind
2025-08-12T00:42:42.209Z