isabelle-utp/interaction-trees

Interactions Trees in Isabelle/HOL and a CSP model

Isabelle

Issues

Animation of RoboChart_ChemicalDetector_autonomous_maincontroller doesn't work
#10 opened 7 months ago by RandallYe
4
Non-exhaustive patterns in function pfun_entries
#1 opened 3 years ago by RandallYe
1