Language · Lean

Lean

Tracked open-source repos with Lean as the primary language, sorted by stars.

12 repos

#1
lean4@leanproverLean
Lean 4 programming language and theorem prover
★ 8,920+46Star change over the last 7 days
#2
mathlib4@leanprover-communityLean
The math library of Lean 4
★ 3,958+42Star change over the last 7 days
#3
analysis@teorthLean
A Lean companion to Analysis I
★ 1,878+10Star change over the last 7 days
#4
formal-conjectures@google-deepmindLean
A collection of formalized statements of conjectures in Lean.
★ 1,207+11Star change over the last 7 days
#5
FLT@ImperialCollegeLondonLean
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
★ 982+9Star change over the last 7 days
#6
superhuman@google-deepmindLean
★ 795+5Star change over the last 7 days
#7
physlib@leanprover-communityLean
A project to digitalise results from physics into Lean.
★ 715+9Star change over the last 7 days
#8
Cosette@uwdbLean
Cosette is an automated SQL solver.
★ 686+0Star change over the last 7 days
#9
cslib@leanproverLean
The Lean Computer Science Library (CSLib)
★ 676+11Star change over the last 7 days
#10
smalltt@AndrasKovacsLean
Demo for high-performance type theory elaboration
★ 597+3Star change over the last 7 days
#11
equational_theories@teorthLean
A project to map out the relations between different equational theories of Magmas.
★ 552+1Star change over the last 7 days
#12
SciLean@lecopivoLean
Scientific computing in Lean 4
★ 525+2Star change over the last 7 days