Projects in Awesome Lists tagged with proof-languages
A curated list of projects in awesome lists tagged with proof-languages .
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/pro465/nyaya
proof language based on https://en.wikipedia.org/wiki/Sequent_calculus and https://us.metamath.org/.
proof-checker proof-checking proof-languages rust simple theorem-proving
Last synced: 09 May 2025
