Ecosyste.ms: Packages

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

crates.io : pocket_prover

A fast, brute force, automatic theorem prover for first order logic

Registry - Source - Documentation - JSON
purl: pkg:cargo/pocket_prover
Keywords: logic, solver, prover, first-order
License: MIT
Latest release: over 1 year ago
First release: over 6 years ago
Dependent packages: 2
Dependent repositories: 1
Downloads: 13,608 total
Stars: 35 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Funding links: https://github.com/sponsors/bvssvni
Last synced: 3 days ago

    Loading...
    Readme
    Loading...