Repositories tagged with "lean-theorem-prover"
proofs
stepchowfun
โMy personal repository of formally verified mathematics.โ
LeanProject
leanprover-community
โA template for blueprint-driven formalization projects in Lean.โ
