Ecosyste.ms: Packages

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

crates.io : qbar

the rational proof assistant

Registry - Source - Documentation - JSON
purl: pkg:cargo/qbar
Keywords: deduction, formal-verification, logic, natural-deduction, proof-assistant, qbar, rational-deduction, rust, rust-lang, type-theory
License: Other
Latest release: over 3 years ago
First release: over 3 years ago
Downloads: 469 total
Stars: 1 on GitHub
Forks: 0 on GitHub
Total Commits: 119
Committers: 3
Average commits per author: 39.667
Development Distribution Score (DDS): 0.462
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 19 days ago

    Loading...
    Readme
    Loading...