Highlights
- Pro
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedNov 18, 2025 -
FLT Public
Forked from ImperialCollegeLondon/FLTOngoing Lean formalisation of the proof of Fermat's Last Theorem
Lean Apache License 2.0 UpdatedNov 12, 2025 -
-
-
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_leanThe user home repository for the Mathematics in Lean tutorial.
HTML Apache License 2.0 UpdatedOct 30, 2025 -
-
MCMC Public
Forked from or4nge19/MCMCFormalization of Monte Carlo Markov Chain in Lean 4
Lean Apache License 2.0 UpdatedSep 28, 2025 -
EllipticCurve Public
Forked from kckennylau/EllipticCurveTowards a general definition of elliptic curve over schemes
Lean Apache License 2.0 UpdatedSep 25, 2025 -
Toric Public
Forked from YaelDillies/ToricFormalisation of toric varieties in Lean 4
Lean Apache License 2.0 UpdatedSep 22, 2025 -
ray Public
Forked from girving/rayFormalizing results about the Mandelbrot set in Lean
Lean Apache License 2.0 UpdatedSep 9, 2025 -
infinity-cosmos Public
Forked from emilyriehl/infinity-cosmosA blueprint for a formalization of infinity-cosmos theory in Lean.
TeX Apache License 2.0 UpdatedAug 6, 2025 -
-
-
-
-
-
addressbook-level3 Public
Forked from se-edu/addressbook-level3🆎3️⃣ Address Book sample application (Level 3)
Java MIT License UpdatedSep 11, 2023 -
latex-css Public
Forked from vincentdoerig/latex-cssLaTeX.css is a CSS library that makes your website look like a LaTeX document
HTML MIT License UpdatedMay 8, 2023