Xena Project Blog
xenaproject.wordpress.com
CLICK TO OPEN Kevin Buzzard's personal blog documenting the Xena project—a long-running effort to formalize mathematics in Lean. Posts explore the intersection of interactive theorem provers, mathematical research, AI tools, and the future of formal mathematics. Substantial, opinionated writing from an academic mathematician.
