`OAI/GameTheory/SnakyConditional/`

18350 declarations, 0 contain sorry, 0 declared as axioms; 209 files

Folders

Opening/ 1 files, 423 declarations
Regions/ 4 files, 876 declarations
Semantics/ 2 files, 50 declarations
Templates/ 199 files, 16991 declarations

Files

Main.lean 1 declarations
Model.lean 7 declarations
OriginalResult.lean 2 declarations