search

isabelle-utp / interaction-trees

Interactions Trees in Isabelle/HOL and a CSP model
6 stars 1 forks source link

Change \Zcomp to ;; #4

Closed RandallYe closed 2 years ago