jrclogic / SMCDELLinks
A symbolic model checker for Dynamic Epistemic Logic.
☆46Updated 3 weeks ago
Alternatives and similar repositories for SMCDEL
Users that are interested in SMCDEL are comparing it to the libraries listed below
Sorting:
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- Convert Haskell source code to Coq source code.☆86Updated 2 months ago
- Effective Algebraic Topology in Haskell☆91Updated 11 months ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆37Updated last month
- HoTT in Lean 3