Pinned Loading

1. jrclogic/SMCDEL jrclogic/SMCDEL Public

   A symbolic model checker for Dynamic Epistemic Logic.

   Haskell 43 9

2. HasCacBDD HasCacBDD Public

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

   C++ 4 1

3. GoMoChe GoMoChe Public

   🗣️📞 Gossip Model Checking

   Haskell 2 1

4. modal-tableau-interpolation modal-tableau-interpolation Public

   Modal Tableau with Interpolation in Haskell

   Haskell 2

5. lean4-pdl lean4-pdl Public

   Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)

   Lean 7 1

6. RepLeanTeX RepLeanTeX Public

   Running Lean 4 while/from running LaTeX.

   Shell 2