Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/pro465/nyaya
proof language based on https://en.wikipedia.org/wiki/Sequent_calculus and https://us.metamath.org/.
proof-checker proof-checking proof-languages rust simple theorem-proving
Last synced: 10 Jun 2024
![](https://github.com/pro465.png)
https://github.com/Deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
dependent-types logical-framework proof-assistant proof-checker proof-translator rewriting
Last synced: 30 May 2024
![](https://github.com/Deducteam.png)
https://github.com/krobelus/rate
DRAT/DPR proof checker
proof-checker rust sat-solver verification
Last synced: 22 May 2024
![](https://github.com/krobelus.png)
https://github.com/pro465/nnoq
not noq
proof-checker proof-checking proof-language rust simple theorem-prover theorem-proving
Last synced: 22 May 2024
![](https://github.com/pro465.png)