`OAI/Computability/UniqueGames/`

17731 declarations, 0 contain sorry, 0 declared as axioms; 478 files

Folders

Analysis/ 26 files, 1037 declarations
Decoding/ 35 files, 915 declarations
Foundations/ 11 files, 311 declarations
Gadgets/ 10 files, 374 declarations
Games/ 19 files, 664 declarations
Inverse/ 39 files, 1224 declarations
Machines/ 144 files, 5687 declarations
PCP/ 104 files, 4503 declarations
Quadratic/ 18 files, 297 declarations
Reduction/ 48 files, 1941 declarations
Repetition/ 8 files, 214 declarations
Soundness/ 13 files, 531 declarations

Files

Main.lean 6 imports, no declarations
Model.lean 31 declarations
Theorem.lean 2 declarations