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/abella-prover/abella
An interactive theorem prover based on lambda-tree syntax
interactive-theorem-proving lambda-calculus meta-theory
Last synced: 17 Jun 2024
![](https://github.com/abella-prover.png)
https://github.com/stepchowfun/proofs
My personal repository of formally verified mathematics.
coq formal-verification interactive-theorem-proving proof-assistant type-theory
Last synced: 29 May 2024
![](https://github.com/stepchowfun.png)
https://github.com/ejgallego/coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
coq ide interactive-theorem-proving language-server-protocol user-interface vscode-extension
Last synced: 03 May 2024
![](https://github.com/ejgallego.png)
https://github.com/cicada-lang/cicada
Cicada Language
cicada dependent-record-types dependent-type-theory dependent-types interactive-theorem-proving language programming-language prover repl theorem-prover type-system type-theory
Last synced: 16 Apr 2024
![](https://github.com/cicada-lang.png)
https://github.com/leanprover/LeanInk
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
alectryon interactive-theorem-proving lean lean4 visualization
Last synced: 24 Mar 2024
![](https://github.com/leanprover.png)
https://github.com/verified-optimization/CvxLean
Convex optimization modeling in Lean 4
convex-optimization formal-verification interactive-theorem-proving lean4
Last synced: 24 Mar 2024
![](https://github.com/verified-optimization.png)