Data

Tools

Indexes

Applications

Experiments

Packages

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

crates.io "first-order" keyword

View the packages on the crates.io package registry that are tagged with the "first-order" keyword.

cop 0.2.0
Highly efficient first-order connection proving
2 versions - Latest release: almost 2 years ago - 1 dependent package - 3.52 thousand downloads total - 11 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 5 years ago - 2 dependent packages - 1 dependent repositories - 2.77 thousand downloads total - 55 stars on GitHub - 1 maintainer
meancop 0.2.0
More efficient, albeit non-lean connection prover
2 versions - Latest release: almost 2 years ago - 2.53 thousand downloads total - 11 stars on GitHub - 1 maintainer
pocket_prover 0.18.0 💰
A fast, brute force, automatic theorem prover for first order logic
28 versions - Latest release: 10 months ago - 2 dependent packages - 1 dependent repositories - 33.5 thousand downloads total - 39 stars on GitHub - 1 maintainer
pocket_prover-derive 0.9.0 💰
Derive procedural macros for `pocket_prover`.
9 versions - Latest release: 10 months ago - 1 dependent package - 10.6 thousand downloads total - 39 stars on GitHub - 1 maintainer
pocket_prover-set 0.5.0 💰
A base logical system for PocketProver to reason about set properties
6 versions - Latest release: almost 3 years ago - 7.54 thousand downloads total - 1 stars on GitHub - 1 maintainer
Related Keywords
logic 6 prover 5 solver 3 parser 1 razor 1 geometric 1 chase 1 geometric-logic 1 model-finding 1 rust-lang 1 theorem-proving 1