#
proof-language
Here are 5 public repositories matching this topic...
Language:All
Filter by language
A modern proof language
dependent-typesfunctional-programminglambda-calculustype-theorytheorem-proverformalitymoonadproof-languageproof-languages
- Updated
Jan 22, 2025 - Haskell
Athena is a modern, practical language for proof engineering & natural deduction.
functional-programminglogictheorem-provingproof-assistantformal-verificationnatural-deductionproof-language
- Updated
Mar 15, 2025 - Standard ML
MIRROR ofhttps://codeberg.org/catseye/Maxixe : A simple proof checker
dslproofpropositional-logicnatural-deductionproof-checkingproof-checkerpredicate-logicproof-language
- Updated
Nov 10, 2023 - Python
MIRROR ofhttps://codeberg.org/catseye/Eqthy : A simple formalized language for equational proofs
- Updated
Nov 10, 2023 - Python
not noq
- Updated
Oct 23, 2023 - Rust
Improve this page
Add a description, image, and links to theproof-language topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with theproof-language topic, visit your repo's landing page and select "manage topics."