Repository navigation

#

proof-languages

HigherOrderCO/Kind
HigherOrderCO / Kind 

A modern proof language

formalitylambda-calculustype-theoryproof-language函数式编程dependent-typesmoonadproof-languagestheorem-prover
Haskell
3659
3 个月前
pro465 / nyaya 

proof language based on https://en.wikipedia.org/wiki/Sequent_calculus and https://us.metamath.org/.

proof-languagesRustsimpletheorem-proving
Rust
2
1 年前