`OAI/Computability/VertexCover/`

5412 declarations, 0 contain sorry, 0 declared as axioms; 354 files

Folders

Analysis/ 51 files, 428 declarations
Encoding/ 9 files, 170 declarations
Fourier/ 18 files, 404 declarations
Games/ 9 files, 116 declarations
Information/ 9 files, 76 declarations
Machines/ 85 files, 1098 declarations
PCP/ 94 files, 2151 declarations
Reduction/ 38 files, 507 declarations
Repetition/ 32 files, 329 declarations
Sampling/ 7 files, 105 declarations

Files

Basic.lean 11 declarations
Main.lean 17 declarations