ganeshutah / JoveLinks
☆74Updated 11 months ago
Alternatives and similar repositories for Jove
Users that are interested in Jove are comparing it to the libraries listed below
Sorting:
- DepQBF, a solver for quantified boolean formulae (QBF).☆39Updated 2 years ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated last month
- Pedagogical first-order prover in Python☆78Updated 6 months ago
- SAT solver for education☆26Updated 3 years ago
- Performant and safe knowledge compilation in rust☆30Updated last month
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆86Updated 2 weeks ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆80Updated 10 months ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆26Updated 6 months ago
- Formalizing convex polyhedra in Coq☆24Updated last year
- The DRAT-trim proof checker☆68Updated last year
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Updated 2 years ago
- SAT Solver SATCH☆120Updated 3 years ago
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- CAP project -- Categories, Algorithms, and Programming☆37Updated last week
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆176Updated 4 years ago
- Source of metamath book☆51Updated last year
- An open bibliography of machine learning for formal proof papers☆32Updated 2 years ago
- Verimag Polyhedra Library☆18Updated 8 months ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆126Updated 10 months ago
- The opensmt solver☆91Updated last week
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆36Updated 8 months ago
- Modeling and Proving in Computational Type Theory☆119Updated 4 months ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆55Updated last year
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆86Updated 9 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆55Updated 5 years ago
- ☆159Updated 3 weeks ago