A modern proof language
翻译 - 现代证明语言
Haskell 3.64 k
2 个月前
proof language based on https://en.wikipedia.org/wiki/Sequent_calculus and https://us.metamath.org/.
Rust 1
1 年前
A modern proof language
翻译 - 现代证明语言
proof language based on https://en.wikipedia.org/wiki/Sequent_calculus and https://us.metamath.org/.