Pinned

1. jrclogic/SMCDEL Public

   A symbolic model checker for Dynamic Epistemic Logic.

   Haskell 32 7

2. HasCacBDD Public

   λ🎄 Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.

   C++ 3

3. dining-benchmark Public

   🍽️ 🔐 Benchmarking Model Checkers for Dynamic and Temporal Epistemic Logics using the Dining Cryptographers example.

   C++

4. GoMoChe Public

   🗣️📞 Gossip Model Checking

   Haskell 2 1

5. modal-tableau-interpolation Public

   Modal Tableau with Interpolation in Haskell

   Haskell 2

6. tablean Public

   tableau for modal logic in Lean

   Lean 8 2