Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "qbar" keyword

qbar 0.0.0
the rational proof assistant
1 version - Latest release: over 3 years ago - 469 downloads total - 1 stars on GitHub - 1 maintainer
Related Keywords
deduction 1 formal-verification 1 logic 1 natural-deduction 1 proof-assistant 1 rational-deduction 1 rust 1 rust-lang 1 type-theory 1