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
why did i get into theorem proving with Lean? pragmatically, it scratches two of my itches:
- it’s like arguing with people on the internet but in the end the computer says you’re right
- it’s like coding but you never need to run your program. in fact most of your code is impossible to run
2025-08-29T06:17:40.503Z