-
-
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedNov 4, 2025 -
-
-
Newclid Public
Forked from Newclid/NewclidAutomatic solver for plane geometry problems.
Jupyter Notebook UpdatedAug 30, 2025 -
lean-tactic-programming-guide Public
Forked from mirefek/lean-tactic-programming-guideBeginner's guide to Tactic Programming in Lean
Lean Apache License 2.0 UpdatedAug 29, 2025 -
-
-
-
overleaf Public
Forked from overleaf/overleafA web-based collaborative LaTeX editor
JavaScript GNU Affero General Public License v3.0 UpdatedAug 1, 2025 -
-
-
{{ message }}