smmercuri/mathlib4
The math library of Lean 4
Repositories
smmercuri/PrimeNumberTheoremAnd
Blueprint for the PNT+ Project
smmercuri/special-values
smmercuri/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
smmercuri/smmercuri.github.io
smmercuri/M2R_zeta
Repository for M2R Group 31 research project
smmercuri/formal-conjectures
A collection of formalized statements of conjectures in Lean.
smmercuri/adele-ring_locally-compact
The proof that the adele ring of a number field is locally compact, formalised in Lean 4.
smmercuri/moodle-qtype_stack
Stack question type for Moodle