Alternatives and similar repositories for pocket_prover:

Users that are interested in pocket_prover are comparing it to the libraries listed below

• advancedresearch / linear_solver
  A linear solver designed to be easy to use with Rust enums.
  ☆32Updated 3 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• rust-formal-methods / wg
  ☆22Updated 3 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated last month
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated 10 months ago
• Robbepop / stevia
  A simple (unfinished) SMT solver for QF_ABV.
  ☆36Updated 6 years ago
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆18Updated 2 months ago
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 3 years ago
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆36Updated 4 years ago
• pliniker / dispatchers
  Virtual Machine/Interpreter dispatch method experiments in Rust
  ☆38Updated 7 years ago
• paholg / peano
  The peano numbers implemented in Rust's type system.
  ☆24Updated 8 years ago
• mAarnos / Serkr
  An automated theorem prover for first order logic.
  ☆28Updated 8 years ago
• pengowen123 / cmaes
  A Rust implementation of the CMA-ES optimization algorithm.
  ☆35Updated 3 months ago
• jix / starlit
  CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…
  ☆10Updated 2 years ago
• brendanzab / algebra
  Abstract algebra for Rust (still very much a WIP!)
  ☆61Updated 3 years ago
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆66Updated last year
• advancedresearch / path_semantics
  A research project in path semantics, a re-interpretation of functions for expressing mathematics
  ☆169Updated last week
• bsteinb / accurate
  (More or less) accurate floating point algorithms
  ☆57Updated 8 months ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆29Updated last year
• advancedresearch / monotonic_solver
  A monotonic solver designed to be easy to use with Rust enum expressions
  ☆46Updated 3 years ago
• c410-f3r / mop
  Flexible and modular framework for different NP-Problems with different solvers
  ☆21Updated last month
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆28Updated 2 years ago
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆61Updated 2 years ago
• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆42Updated 5 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆31Updated 8 months ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆69Updated last year
• fitzgen / minisynth-rs
  Program synthesis is possible in Rust
  ☆24Updated 6 years ago
• rust-accel / nvptx
  Compile Rust into PTX
  ☆14Updated 5 years ago