jrclogic / SMCDEL
A symbolic model checker for Dynamic Epistemic Logic.
☆46Updated 2 months ago
Alternatives and similar repositories for SMCDEL:
Users that are interested in SMCDEL are comparing it to the libraries listed below
- HoTT in Lean 3☆79Updated 4 years ago
- Book about using Lean with How To Prove It☆18Updated 3 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆35Updated last week
- maze game encoded in Lean 4 syntax☆57Updated 3 weeks ago
- The Agda Universal Algebra Library (html docs available at the url below)☆33Updated 4 months ago
- A Testing Framework for Lean☆53Updated 2 weeks ago
- Datatypes as quotients of polynomial functors☆35Updated 4 years ago
- Lean4 port of Arduino balance car controller