js2357/mathlib4
The math library of Lean 4
Repositories
js2357/carleson
A formalized proof of Carleson's theorem in Lean
js2357/Hello
Hello, world
js2357/lean4game
Server to host lean games.
js2357/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem