Projects in Awesome Lists tagged with proof-language
A curated list of projects in awesome lists tagged with proof-language .
https://github.com/higherorderco/kind
A modern proof language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Last synced: 14 May 2025
https://github.com/higherorderco/kind1
A modern proof language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Last synced: 29 Apr 2025
https://github.com/HigherOrderCO/Kind
A modern proof language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Last synced: 12 Apr 2025
https://github.com/HigherOrderCO/Kind1
A next-gen functional language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Last synced: 27 Aug 2025
https://github.com/catseye/maxixe
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
dsl natural-deduction predicate-logic proof proof-checker proof-checking proof-language propositional-logic
Last synced: 12 Apr 2025
https://github.com/pro465/nnoq
not noq
proof-checker proof-checking proof-language rust simple theorem-prover theorem-proving
Last synced: 09 May 2025
https://github.com/catseye/eqthy
MIRROR of https://codeberg.org/catseye/Eqthy : A simple formalized language for equational proofs
equational-logic equational-theory proof-checker proof-checking proof-language
Last synced: 12 Apr 2025