Robochart - Githubissues

isabelle-utp / interaction-trees

Interactions Trees in Isabelle/HOL and a CSP model

6 stars 1 forks source link

Closed RandallYe closed 3 years ago

RandallYe commented 3 years ago

Now we have two RoboChart examples for animation: the basic model and the autonomous chemical detector.