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