issues
search
isabelle-utp
/
interaction-trees
Interactions Trees in Isabelle/HOL and a CSP model
6
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Animation of RoboChart_ChemicalDetector_autonomous_maincontroller doesn't work
#10
RandallYe
opened
1 month ago
1
Merge branch robochart_nondeterminism_resolving to master
#9
RandallYe
closed
1 month ago
3
Added the lemmas we needed for my work, and fixed the CI workflow on github actions
#8
lexbailey
opened
2 months ago
0
Update installation instructions
#7
RandallYe
closed
1 year ago
2
Move change the sequential composition operator to a definition.
#6
Tombert
closed
1 year ago
0
added github action
#5
lexbailey
closed
1 year ago
0
Change \Zcomp to ;;
#4
RandallYe
closed
2 years ago
0
Robochart
#3
RandallYe
closed
2 years ago
0
Robochart
#2
RandallYe
closed
2 years ago
0
Non-exhaustive patterns in function pfun_entries
#1
RandallYe
closed
2 years ago
1