/directed-branching-bisimulation

Code for the paper "Directed branching bisimulation via apartness and positive logic" by Herman Geuvers and Anton Golov

Primary LanguageCoq

No issues in this repository yet.