Add #lang forge/temporal to enable temporal mode, rather than option problem_type

tnelson / Forge

Forge: A Tool and Language for Teaching Formal Methods

https://forge-fm.org/

MIT License

67 stars 9 forks source link

Closed tnelson closed 10 months ago

tnelson commented 1 year ago

We should be consistent: #lang froglet #lang forge #lang forge/temporal

tnelson commented 10 months ago