leanprover-community/lean

Lean 3 Theorem Prover (community fork)

leanprover-community/lean-liquid

💧 Liquid Tensor Experiment

leanprover-community/sphere-eversion

Formalization of the existence of sphere eversions

emilyriehl/infinity-cosmos

A blueprint for a formalization of infinity-cosmos theory in Lean.

pygae/lean-ga

A partial formalization of Geometric Algebra in the Lean formal proof verification system.

thefundamentaltheor3m/Sphere-Packing-Lean

A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing…

sdiehl/zero-to-qed

From Zero to QED: An informal introduction to formality with Lean 4

leanprover/lean

Lean Theorem Prover