All Git Users → jrclogic

1 open source projects by jrclogic

[ Open user page on Github ]

A symbolic model checker for Dynamic Epistemic Logic.

✭ 31

haskell HTML Yacc RPC logic symbolic model-checking epistemic-logic

1-1 of 1 user projects