leanprover-community
★ 4,347mathlib4
The math library of Lean 4
HYSEN LABS DIRECTORY
leanprover-community
Verified repositories, classifications and analysis from the leanprover-community organization.
4 curated open-source projects
leanprover-community
★ 805physlib
A project to digitalise results from physics into Lean.
leanprover-community
★ 622mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
leanprover-community
★ 571lean4game
Server to host Lean games