search

tnelson / Forge

Forge: A Tool and Language for Teaching Formal Methods
https://forge-fm.org/
MIT License
67 stars 9 forks source link

[minor] March 31 Update to 3.4 #253

Closed tnelson closed 8 months ago

tnelson commented 8 months ago

Release notes here.