`OAI/Combinatorics/IndependentSets/`

10124 declarations, 0 contain sorry, 0 declared as axioms; 454 files

Folders

Encoding/ 24 files, 451 declarations
Expansion/ 66 files, 1472 declarations
Fourier/ 16 files, 324 declarations
Geometry/ 19 files, 216 declarations
Machines/ 175 files, 4493 declarations
PCP/ 57 files, 1661 declarations
Reduction/ 52 files, 802 declarations
Repetition/ 43 files, 674 declarations

Files

Main.lean 16 declarations
Model.lean 15 declarations