A modern proof language
Haskell 3.68 k
5 个月前
Athena is a modern, practical language for proof engineering & natural deduction.
Standard ML 71
1 个月前
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
Python 9
2 年前
MIRROR of https://codeberg.org/catseye/Eqthy : A simple formalized language for equational proofs
Python 4
2 年前
Rust 3
2 年前