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-derive

Derive procedural macros for `pocket_prover`.

Registry - Source - Documentation - JSON
purl: pkg:cargo/pocket_prover-derive
Keywords: logic, solver, prover, first-order
License: MIT
Latest release: over 1 year ago
First release: over 6 years ago
Dependent packages: 1
Downloads: 4,132 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: 4 days ago

Readme