Max Martínez

Projects
Resume

IMO Grand Challenge: Problem Formalization

July 1, 2025 · Max Martínez

GitHub →

Lean 4
Formal Verification
Mathematics

© 2025 Max Martínez · Powered by Hugo & PaperMod