Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with proof-language
A curated list of projects in awesome lists tagged with proof-language .
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: 31 Aug 2024
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: 30 Sep 2024
https://github.com/pro465/nnoq
not noq
proof-checker proof-checking proof-language rust simple theorem-prover theorem-proving
Last synced: 03 Aug 2024