https://github.com/lapin0t/ogs-coq
Operational Game Semantics in Coq using ITree (kindof) and Paco
https://github.com/lapin0t/ogs-coq
Last synced: 7 months ago
JSON representation
Operational Game Semantics in Coq using ITree (kindof) and Paco
- Host: GitHub
- URL: https://github.com/lapin0t/ogs-coq
- Owner: Lapin0t
- Created: 2021-10-18T09:51:43.000Z (almost 4 years ago)
- Default Branch: master
- Last Pushed: 2021-11-19T12:39:40.000Z (almost 4 years ago)
- Last Synced: 2023-03-03T04:52:43.621Z (over 2 years ago)
- Language: Coq
- Size: 184 KB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 0