neuppl / rsddLinks
Performant and safe knowledge compilation in rust
☆30Updated 2 months ago
Alternatives and similar repositories for rsdd
Users that are interested in rsdd are comparing it to the libraries listed below
Sorting:
- ☆39Updated this week
- A (WIP) equality saturation tactic for Lean based on egg.☆66Updated this week
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- Experiments with SAT solvers with proofs in Lean 4☆58Updated last year
- WIP collections library for Lean 4☆32Updated 3 months ago
- A monadic library for symbolic evaluation☆68Updated 3 weeks ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆148Updated 9 months ago
- ☆52Updated 2 weeks ago
- Verifying encodings into propositional logic in Lean☆12Updated last year
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated 2 years ago
- ☆16Updated 4 years ago
- Separation Logic Proofs in Lean☆41Updated 4 months ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆64Updated this week
- ☆24Updated last month
- Pedagogical first-order prover in Python☆76Updated last month
- Logic and Mechanized Reasoning☆105Updated 3 weeks ago
- ☆16Updated 4 years ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆109Updated this week
- Formalizing convex polyhedra in Coq☆25Updated last year
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆67Updated last year
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆24Updated 2 weeks ago
- Collection of Automated Reasoners☆31Updated last week
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆81Updated 2 weeks ago
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last month
- This package provides an interface and foundation for verified SAT reasoning☆54Updated 11 months ago
- ☆21Updated last week
- ☆49Updated last year