search

tnelson / Forge

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

[major] Initial update from dev for Spring 2023 #167

Closed tnelson closed 1 year ago

tnelson commented 1 year ago

Updating main branch in prep for TA camp.