There was an error while loading. Please reload this page.
3fd1a08
OGS development at the time of submission of the ESOP'25 "An abstract, certified account of operational game semantics".
Bugfix: add REQUIREMENTS file as per artifact submission guidelines.
