Tag: lean

All the articles with the tag "lean".

• I Tried to Build an AI Formalizer for Mathematics

  4 Sep, 2026

  An attempt to turn math papers into Lean proofs, and what happens when you design a framework before understanding the work.