`OAI/GameTheory/SnakyTwentyOne/`

29305 declarations, 0 contain sorry, 0 declared as axioms; 94 files

Folders

Cards/ 86 files, 29208 declarations
Certificate/ 2 files, 31 declarations
Semantics/ 4 files, 54 declarations

Files

Main.lean 3 declarations
Model.lean 9 declarations