Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 8 Lean Formal Proofs Open Source Projects

Open source projects categorized as Lean Formal Proofs
Categories > Formal Proofs
Categories > Lean
Mathlib ⭐ 1,463
Lean mathematical components library
most recent commit 5 hours ago
Formal_book ⭐ 22
Formalizing "Proofs from THE BOOK"
most recent commit 2 months ago
Isarmathlib ⭐ 15
IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
most recent commit 6 days ago
Lean Quantum ⭐ 5
Formalized quantum computing in Lean theorem prover
most recent commit 2 years ago
Lean Lib ⭐ 5
most recent commit 3 years ago
Lean Matroids ⭐ 2
matroids in lean
most recent commit 2 years ago
Erdos Tuza Valtr ⭐ 2
A formal verification of a manuscript "On the Erdős-Tuza-Valtr Conjecture"
most recent commit 14 days ago
Sylowftl ⭐ 1
Group Theory (Second Sylow Theorem) formalized in Naproche.
most recent commit 3 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2023 Awesome Open Source.  All rights reserved.