Giters
JRC Logic (jrclogic)

JRC Logic

jrclogic

Geek Repo

Tsinghua University - University of Amsterdam Joint Research Center for Logic

Home Page:http://tsinghualogic.net/JRC/

Github PK Tool:Github PK Tool

JRC Logic's repositories

SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.

Language:HaskellLicense:GPL-2.0Stargazers:39Issues:7Issues:46