neuppl / rsdd
Performant and safe knowledge compilation in rust
☆27Updated 6 months ago
Alternatives and similar repositories for rsdd:
Users that are interested in rsdd are comparing it to the libraries listed below
- ☆16Updated 4 years ago
- ☆35Updated last week
- Dice Language Support for VS Code☆10Updated 4 years ago
- A monadic library for symbolic evaluation☆60Updated last week
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆65Updated last year
- A Haskell probabilistic programming library.☆19Updated last month
- ☆68Updated last month
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated last year
- Separation Logic Proofs in Lean☆36Updated last month
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆83Updated last month
- Implementation of higher-order logic in Python☆64Updated 2 years ago
- The PERPL Compiler☆13Updated last month
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆54Updated last year
- A best-first-search theorem prover implemented in Isabelle☆34Updated 2 years ago
- A (WIP) equality saturation tactic for Lean based on egg.☆59Updated last week
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- ☆14Updated 4 years ago
- Ltac2 tutorial☆45Updated 2 years ago
- Formalizing convex polyhedra in Coq☆24Updated 9 months ago
- Automatic theorem proving via natural language reasoning with LLMs☆16Updated last month
- WIP collections library for Lean 4☆32Updated last week
- ☆20Updated last week
- Experiments with SAT solvers with proofs in Lean 4☆57Updated 10 months ago
- ☆21Updated this week
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆18Updated this week
- The DRAT-trim proof checker☆57Updated 5 months ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆20Updated this week
- A Rocq version of the miniF2F dataset☆17Updated 2 weeks ago
- EGraphs in OCaml☆64Updated last year
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆36Updated this week