dhil / stratagem

STRATAGEM is a research prototype system illustrating some theoretical ideas in game semantics.

https://homepages.inf.ed.ac.uk/jrl/Stratagem/index.html

Geek Repo

Github PK Tool