proof-languages

There are 2 repositories under proof-languages topic.

HigherOrderCO/Kind1
A modern proof language
Language:JavaScript3.5k 74 215140
pro465/nyaya
proof language based on https://en.wikipedia.org/wiki/Sequent_calculus and https://us.metamath.org/.
Language:Rust1 1 00