GitHub topics: proof-language
HigherOrderCO/Kind
A modern proof language
Language: Haskell - Size: 34.6 MB - Last synced at: 19 days ago - Pushed at: 5 months ago - Stars: 3,673 - Forks: 146
AthenaFoundation/athena
Athena is a modern, practical language for proof engineering & natural deduction.
Language: Standard ML - Size: 12.6 MB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 71 - Forks: 4
pro465/nnoq
not noq
Language: Rust - Size: 94.7 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1
catseye/Maxixe
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
Language: Python - Size: 53.7 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 0
catseye/Eqthy
MIRROR of https://codeberg.org/catseye/Eqthy : A simple formalized language for equational proofs
Language: Python - Size: 104 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 1