We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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.
