This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Hackaday
hackaday-feed.bsky.social
did:plc:sl3zwgai6q5f3vpqnp3ze2qx
Where is Mathematics Going? Large Language Models and Lean Proof Assistant
https://hackaday.com/2025/10/08/where-is-mathematics-going-large-language-models-and-lean-proof-assistant/
2025-10-09T02:30:07.157Z