https://github.com/clayrat/game-sem

Game semantics
https://github.com/clayrat/game-sem

Last synced: 1 day ago
JSON representation

Game semantics

• Host: GitHub
• URL: https://github.com/clayrat/game-sem
• Owner: clayrat
• Created: 2021-03-16T00:47:59.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2021-04-02T18:46:00.000Z (over 3 years ago)
• Last Synced: 2024-10-11T21:51:32.492Z (27 days ago)
• Language: Idris
• Size: 16.6 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project