Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "first-order" keyword
cop 0.2.0
Highly efficient first-order connection proving2 versions - Latest release: 8 months ago - 1 dependent package - 1.29 thousand downloads total - 7 stars on GitHub - 1 maintainer
meancop 0.2.0
More efficient, albeit non-lean connection prover2 versions - Latest release: 8 months ago - 742 downloads total - 7 stars on GitHub - 1 maintainer
razor-fol 0.1.0
razor-fol is a library for parsing and syntactic manipulation of first-order theories.1 version - Latest release: over 4 years ago - 2 dependent packages - 1 dependent repositories - 1.53 thousand downloads total - 55 stars on GitHub - 1 maintainer
pocket_prover-set 0.5.0 💰
A base logical system for PocketProver to reason about set properties6 versions - Latest release: over 1 year ago - 3 thousand downloads total - 1 stars on GitHub - 1 maintainer
pocket_prover 0.17.0 💰
A fast, brute force, automatic theorem prover for first order logic27 versions - Latest release: over 1 year ago - 2 dependent packages - 1 dependent repositories - 12.2 thousand downloads total - 35 stars on GitHub - 1 maintainer
pocket_prover-derive 0.8.0 💰
Derive procedural macros for `pocket_prover`.8 versions - Latest release: over 1 year ago - 1 dependent package - 3.72 thousand downloads total - 35 stars on GitHub - 1 maintainer