/Playing-Games

Games and Computational Complexity: contains proof that CELESTE in NP-C

Issues