This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Jason Rute
jasonrute.bsky.social
did:plc:trsr745x6gzs5grypfnm4ztr
I’m really excited to announce that I’m going to be at the Joint Math Meetings #JMM2025 to give a talk on AI for Formal Theorem Proving on Friday. Reach out if you want to talk about AI for Math or for all my math friends, if you just want to catch up!
https://meetings.ams.org/math/jmm2025/meetingapp.cgi/Paper/41272
2025-01-09T12:01:38.854Z