https://github.com/pro465/nnoq

not noq

proof-checker proof-checking proof-language rust simple theorem-prover theorem-proving

Last synced: 09 May 2025

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: 09 May 2025

https://github.com/pro465/lam

lambda calculus evaluator in rust

Last synced: 09 May 2025