OAI/GameTheory/
47655 declarations, 0 contain sorry, 0 declared as axioms; 303 files
Folders
- SnakyConditional/ 209 files, 18350 declarations
- SnakyTwentyOne/ 94 files, 29305 declarations
OAI/GameTheory/47655 declarations, 0 contain sorry, 0 declared as axioms; 303 files