Skip to content
@jrclogic

JRC Logic

Tsinghua University - University of Amsterdam Joint Research Center for Logic

Pinned Loading

  1. SMCDEL SMCDEL Public

    A symbolic model checker for Dynamic Epistemic Logic.

    Haskell 55 10

Repositories

Showing 1 of 1 repositories

Top languages

Loading…

Most used topics

Loading…