Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "proving" keyword
hooo 0.5.0
Propositional logic with exponentials19 versions - Latest release: 12 days ago - 4.83 thousand downloads total - 15 stars on GitHub - 1 maintainer
last_order_logic 0.2.0
An experimental logical language2 versions - Latest release: over 2 years ago - 791 downloads total - 5 stars on GitHub - 1 maintainer
metamath-rs 0.3.8
A library manipulating Metamath databases, including a parallel and incremental verifier for Meta...1 version - Latest release: about 1 month ago - 225 downloads total - 24 stars on GitHub - 1 maintainer
mm0_util 0.1.4
MM0/MM1 language utilities5 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 3.08 thousand downloads total - 294 stars on GitHub - 1 maintainer
mm0b_parser 0.1.4
parsing tools for Metamath Zero's MMB binary format5 versions - Latest release: over 2 years ago - 1 dependent repositories - 2.59 thousand downloads total - 294 stars on GitHub - 1 maintainer
caso 0.2.2
Category Theory Solver for Commutative Diagrams4 versions - Latest release: about 2 years ago - 1.39 thousand downloads total - 3 stars on GitHub - 1 maintainer
reachability_solver 0.2.0 💰
A linear reachability solver for directional edges4 versions - Latest release: about 4 years ago - 1.64 thousand downloads total - 6 stars on GitHub - 1 maintainer
linear_solver 0.2.2 💰
A linear solver designed to be easy to use with Rust enum expressions4 versions - Latest release: almost 5 years ago - 1 dependent package - 2.87 thousand downloads total - 32 stars on GitHub - 1 maintainer
monotonic_solver 0.5.0 💰
A monotonic solver designed to be easy to use with Rust enum expressions6 versions - Latest release: over 3 years ago - 1 dependent package - 1 dependent repositories - 4.76 thousand downloads total - 44 stars on GitHub - 1 maintainer
prop 0.47.0
Propositional logic with types in Rust52 versions - Latest release: 12 months ago - 15.6 thousand downloads total - 58 stars on GitHub - 1 maintainer
debug_sat 0.4.0 💰
A debuggable automatic theorem prover for boolean satisfiability problems (SAT).4 versions - Latest release: over 6 years ago - 2.82 thousand downloads total - 3 stars on GitHub - 1 maintainer
poi 0.24.0 💰
A pragmatic point-free theorem prover assistant27 versions - Latest release: 8 months ago - 10.4 thousand downloads total - 136 stars on GitHub - 1 maintainer
libtptp
Thousands of Problems for Theorem Provers (TPTP) Library1 version - Latest release: 18 days ago - 431 downloads total - 1 stars on GitHub - 1 maintainer
path_semantics_std 0.1.0 💰
A Rust type checked implementation of the standard dictionary of path semantics using constrained...1 version - Latest release: over 6 years ago - 810 downloads total - 1 stars on GitHub - 1 maintainer