proof-language

There are 5 repositories under proof-language topic.

HigherOrderCO/Kind
A modern proof language
Language:Haskell3.6k 75 216145
AthenaFoundation/athena
Athena is a modern, practical language for proof engineering & natural deduction.
Language:Standard ML71 1 54
catseye/Maxixe
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
Language:Python10 3 0
catseye/Eqthy
MIRROR of https://codeberg.org/catseye/Eqthy : A simple formalized language for equational proofs
Language:Python4 2 21
pro465/nnoq
not noq
Language:Rust3 1 11