search

isabelle-utp / interaction-trees

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

Move change the sequential composition operator to a definition. #6

Closed Tombert closed 1 year ago