Skip to content
GitLab
Explore
Sign in
general
stups
ProB 2 Jupyter Kernel
Issues
#13
Support animation of machines
Allow executing machine operations
Allow passing arguments
Allow executing an operation by predicate
Allow storing an operation's return values (depends on
#12
)
Edited
Jul 02, 2018
by
dgelessus