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 40 9

Repositories

Showing 1 of 1 repositories
  • SMCDEL Public

    A symbolic model checker for Dynamic Epistemic Logic.

    jrclogic/SMCDEL’s past year of commit activity
    Haskell 40 GPL-2.0 9 22 0 Updated May 23, 2024

Top languages

Loading…

Most used topics

Loading…