[major] update for 2023 (with submodule fix) - Githubissues

tnelson / Forge

Forge: A Tool and Language for Teaching Formal Methods

https://forge-fm.org/

MIT License

67 stars 9 forks source link

[major] update for 2023 (with submodule fix) #170

Closed tnelson closed 1 year ago