maddycrim/mathlib4
The math library of Lean 4
Repositories
maddycrim/RealAnalysisGame
RealAnalysisGame
maddycrim/maddycrim.github.io
maddycrim/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
maddycrim/2025F311H
2025 Fall Rutgers 311H Intro Real Analysis
maddycrim/ClassFieldTheory
Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory
maddycrim/Maddy
Isomorphic Graph