https://github.com/banrovegrie/playing-games
Games and Computational Complexity: contains proof that CELESTE in NP-C
https://github.com/banrovegrie/playing-games
Last synced: about 2 months ago
JSON representation
Games and Computational Complexity: contains proof that CELESTE in NP-C
- Host: GitHub
- URL: https://github.com/banrovegrie/playing-games
- Owner: banrovegrie
- Created: 2020-11-03T16:06:52.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2022-05-20T18:36:19.000Z (almost 3 years ago)
- Last Synced: 2025-01-18T11:44:29.377Z (3 months ago)
- Homepage: https://arxiv.org/abs/2012.07678
- Size: 214 MB
- Stars: 7
- Watchers: 2
- Forks: 4
- Open Issues: 0
-
Metadata Files:
- Readme: README.md