`OAI/Combinatorics/RamseyFive/`

3219 declarations, 0 contain sorry, 0 declared as axioms; 450 files

Folders

Bounds/ 5 files, 22 declarations
Decoding/ 32 files, 242 declarations
Entropy/ 143 files, 1088 declarations
Geometry/ 148 files, 1044 declarations
Iteration/ 15 files, 68 declarations
Marking/ 48 files, 389 declarations
Probability/ 29 files, 178 declarations
Streams/ 10 files, 44 declarations
Trees/ 18 files, 138 declarations

Files

Main.lean 2 declarations
Model.lean 4 declarations