Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "theorem-prover" keyword
lsts 0.6.34 💰
Large Scale Type Systems125 versions - Latest release: 10 months ago - 32.6 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 1 year ago - 17.2 thousand downloads total - 3,438 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
type
1
theorem
1
automated
1
proof
1
logic
1