Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by pro465
A curated list of projects in awesome lists by pro465 .
https://github.com/pro465/nnoq
not noq
proof-checker proof-checking proof-language rust simple theorem-prover theorem-proving
Last synced: 15 Nov 2024
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: 15 Nov 2024