Owner · leanprover-community

leanprover-community

leanprover-community's tracked open-source repos, sorted by stars.

4 repos

#1
mathlib4 ↗@leanprover-communityLean
The math library of Lean 4
★ 3,989+15Star change over the last 7 days
#2
physlib ↗@leanprover-communityLean
A project to digitalise results from physics into Lean.
★ 719+3Star change over the last 7 days
#3
mathematics_in_lean ↗@leanprover-communityHTML
The user home repository for the Mathematics in Lean tutorial.
★ 584+2Star change over the last 7 days
#4
lean4game ↗@leanprover-communityTypeScript
Server to host Lean games
★ 549+5Star change over the last 7 days