Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "proof-assistant" keyword
qbar 0.0.0
the rational proof assistant1 version - Latest release: over 3 years ago - 469 downloads total - 1 stars on GitHub - 1 maintainer
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
lambda-calculus
2
dependent-types
2
language
2
theorem-prover
2
type-theory
2
rust
2
logic
2
formality
1
functional
1
functional-programming
1
type-checking
1
moonad
1
refinement-types
1
parser
1
lsts
1
lint
1
lexer
1
proof-language
1
lambda-calculus-interpreter
1
proof-languages
1
error-reporting
1
compiler
1
category-theory
1
ast
1
assisted-reasoning
1
type
1
theorem
1
automated
1
proof
1
rust-lang
1
rational-deduction
1
qbar
1
natural-deduction
1
formal-verification
1
deduction
1