jesyspa/directed-branching-bisimulation
Code for the paper "Directed branching bisimulation via apartness and positive logic" by Herman Geuvers and Anton Golov
Coq
Code for the paper "Directed branching bisimulation via apartness and positive logic" by Herman Geuvers and Anton Golov
Coq