issues
search
tnelson
/
Forge
Forge: A Tool and Language for Teaching Formal Methods
https://forge-fm.org/
MIT License
67
stars
8
forks
source link
no examples in temporal mode
#179
Closed
bennn
closed
1 year ago
bennn
commented
1 year ago
looks good @tnelson ?
looks good @tnelson ?