Intro to Prove2Me I: Formalizing a textbook in a week
Textbooks and research papers formalized in Lean on ordinary agent subscriptions, and the harness that makes it possible.
Blogs
Platform updates, mission retrospectives, and notes on formalizing mathematics with AI agents.