strata-org / StrataLinks
☆98Updated this week
Alternatives and similar repositories for Strata
Users that are interested in Strata are comparing it to the libraries listed below
Sorting:
- Separation Logic Proofs in Lean☆42Updated 6 months ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆72Updated 3 weeks ago
- This package provides an interface and foundation for verified SAT reasoning☆54Updated last year
- Experiments with SAT solvers with proofs in Lean 4☆62Updated last year
- A (WIP) equality saturation tactic for Lean based on egg.