crates.io "theorem-prover" keyword
View the packages on the crates.io package registry that are tagged with the "theorem-prover" keyword.
lsts 0.6.34 💰
Large Scale Type Systems125 versions - Latest release: about 2 years ago - 129 thousand downloads total - 99 stars on GitHub - 1 maintainer
kind2 0.3.10
A pure functional functional language that uses the HVM.65 versions - Latest release: about 2 years ago - 66.8 thousand downloads total - 3,493 stars on GitHub - 3 maintainers
Related Keywords
dependent-types
2
lambda-calculus
2
proof-assistant
2
language
2
proof-languages
1
proof-language
1
moonad
1
functional-programming
1
formality
1
type-theory
1
functional
1
type-checking
1
rust
1
refinement-types
1
parser
1
lsts
1
lint
1
lexer
1
lambda-calculus-interpreter
1
error-reporting
1
compiler
1
category-theory
1
ast
1
assisted-reasoning
1
logic
1
proof
1
automated
1
theorem
1
type
1