Lean Collection

◆

◆

◆

◆

📦Normal

★★★

“Lean 4 programming language and theorem prover”

◆

◆

◆

◆

📦Normal

★★

“The math library of Lean 4”

◆

◆

◆

◆

📦Normal

★★

“A Lean companion to Analysis I”

◆

◆

◆

◆

📦Normal

★★

“Lean 3's obsolete mathematical components library: please use mathlib4”

◆

◆

◆

◆

📦Normal

★★

“A collection of formalized statements of conjectures in Lean.”

◆

◆

◆

◆

📦Normal

★★

“Ongoing Lean formalisation of the proof of Fermat's Last Theorem”

◆

◆

◆

◆

📦Normal

★★

“Cosette is an automated SQL solver.”

◆

◆

◆

◆

📦Normal

★★

“A project to digitalise results from physics into Lean.”

◆

◆

◆

◆

📦Normal

★★

“The Lean Computer Science Library (CSLib)”

◆

◆

◆

◆

📦Normal

★★

“Demo for high-performance type theory elaboration”

◆

◆

◆

◆

📦Normal

★★

“A project to map out the relations between different equational theories of Magmas.”

◆

◆

◆

◆

📦Normal

★★

“Scientific computing in Lean 4”

◆

◆

◆

◆

📦Normal

★

“Bug-free machine learning on stochastic computation graphs”

◆

◆

◆

◆

📦Normal

★

“Metamath Zero specification language”

◆

◆

◆

◆

📦Normal

★

“The "batteries included" extended library for the Lean programming language and theorem prover”

◆

◆

◆

◆

📦Normal

★

“An introduction to theorem proving in Lean for the impatient.”