Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/SReichelt/slate
The Slate Interactive Theorem Prover
collaboration formal-mathematics interactive-theorem-proving mathematical-expressions mathematical-logic proof-assistant web-app
Last synced: 01 Jul 2024
![](https://github.com/SReichelt.png)
https://github.com/leanprover-community/mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
formal-mathematics formal-methods formal-proofs lean proof-automation theorem-proving
Last synced: 30 May 2024
![](https://github.com/leanprover-community.png)
https://github.com/lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
formal-mathematics lean lean4 llm-inference machine-learning theorem-proving
Last synced: 28 May 2024
![](https://github.com/lean-dojo.png)
https://github.com/bryangingechen/lean-matroids
matroids in lean
formal-mathematics formal-proofs lean matroids theorem-proving
Last synced: 24 Mar 2024
![](https://github.com/bryangingechen.png)
https://github.com/eric-wieser/lean-graded-rings
A formalization of graded rings in Lean, corresponding to a CICM 2022 submission
cicm formal-mathematics lean mathlib
Last synced: 24 Mar 2024
![](https://github.com/eric-wieser.png)
https://github.com/eric-wieser/lean-matrix-cookbook
The matrix cookbook, proved in the Lean theorem prover
formal-mathematics lean lean4 matrices
Last synced: 24 Mar 2024
![](https://github.com/eric-wieser.png)