ganeshutah / JoveLinks
☆75Updated 7 months ago
Alternatives and similar repositories for Jove
Users that are interested in Jove are comparing it to the libraries listed below
Sorting:
- SAT solver for education☆26Updated 2 years ago
- Pedagogical first-order prover in Python☆76Updated 2 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆36Updated 2 years ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆76Updated 3 months ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆26Updated 2 months ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆83Updated last month
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆80Updated 7 months ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆125Updated 6 months ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- egraph on top of sqlite☆11Updated 3 years ago
- Performant and safe knowledge compilation in rust☆30Updated 2 months ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆173Updated 4 years ago
- A graduate seminar on SMT solving and solver-aided systems☆27Updated 3 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆41Updated 2 years ago
- Language based on Rewriting Logic☆128Updated 3 weeks ago
- ☆41Updated last year
- A SyGuS Solver☆28Updated 3 months ago
- ☆149Updated 2 weeks ago
- EGraphs in OCaml☆66Updated last year
- Formalizing convex polyhedra in Coq☆25Updated last year
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Verimag Polyhedra Library☆18Updated 4 months ago
- Python bindings for egg☆49Updated 2 years ago
- An automated theorem prover that uses Büchi automata.☆42Updated 3 years ago
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆148Updated 10 months ago
- ☆50Updated last month
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago