`OAI/Combinatorics/SharpRamsey/`

3470 declarations, 0 contain sorry, 0 declared as axioms; 408 files

Folders

Bounds/ 5 files, 90 declarations
Construction/ 9 files, 69 declarations
Entropy/ 31 files, 656 declarations
Execution/ 34 files, 150 declarations
Exposure/ 25 files, 253 declarations
Geometry/ 45 files, 451 declarations
Learning/ 35 files, 344 declarations
Marking/ 54 files, 522 declarations
Parameters/ 20 files, 84 declarations
Planar/ 16 files, 60 declarations
Reciprocal/ 25 files, 191 declarations
Selection/ 26 files, 169 declarations
Spatial/ 22 files, 51 declarations
Trees/ 25 files, 178 declarations
Validation/ 9 files, 84 declarations
Windows/ 25 files, 113 declarations

Files

Main.lean 1 declarations
Model.lean 4 declarations