OAI/Combinatorics/Ramsey/CycleClique/
693398 declarations, 0 contain sorry, 0 declared as axioms; 443 files
Folders
- Construction/ 259 files, 658199 declarations
Files
- BallPacking.lean 56 declarations
- Basic.lean 6 declarations
- BreadthFirst.lean 15 declarations
- CachedDecisions.lean 8 declarations
- CertificateDecisions.lean 11 declarations
- CertificateModel.lean 46 declarations
- Certificates001.lean 491 declarations
- Certificates002.lean 345 declarations
- Certificates003.lean 596 declarations
- Certificates004.lean 524 declarations
- Certificates005.lean 603 declarations
- Certificates006.lean 315 declarations
- Certificates007.lean 221 declarations
- Certificates008.lean 1097 declarations
- Certificates009.lean 500 declarations
- Certificates010.lean 219 declarations
- Certificates011.lean 222 declarations
- Certificates012.lean 691 declarations
- Certificates013.lean 421 declarations
- Certificates014.lean 252 declarations
- Certificates015.lean 251 declarations
- Certificates016.lean 255 declarations
- Certificates017.lean 866 declarations
- Certificates018.lean 739 declarations
- Certificates019.lean 445 declarations
- Certificates020.lean 249 declarations
- Certificates021.lean 252 declarations
- Certificates022.lean 248 declarations
- Certificates023.lean 255 declarations
- Certificates024.lean 255 declarations
- Certificates025.lean 254 declarations
- Certificates026.lean 256 declarations
- Certificates027.lean 245 declarations
- Certificates028.lean 252 declarations
- Certificates029.lean 254 declarations
- Certificates030.lean 252 declarations
- Certificates031.lean 255 declarations
- Certificates032.lean 256 declarations
- Certificates033.lean 253 declarations
- Certificates034.lean 256 declarations
- Certificates035.lean 256 declarations
- Certificates036.lean 255 declarations
- Certificates037.lean 1044 declarations
- Certificates038.lean 297 declarations
- Certificates039.lean 985 declarations
- Certificates040.lean 302 declarations
- Certificates041.lean 302 declarations
- Certificates042.lean 301 declarations
- Certificates043.lean 304 declarations
- Certificates044.lean 310 declarations
- Certificates045.lean 301 declarations
- Certificates046.lean 305 declarations
- Certificates047.lean 309 declarations
- Certificates048.lean 305 declarations
- Certificates049.lean 308 declarations
- Certificates050.lean 310 declarations
- Certificates051.lean 313 declarations
- Certificates052.lean 316 declarations
- Certificates053.lean 315 declarations
- Certificates054.lean 316 declarations
- Certificates055.lean 309 declarations
- Certificates056.lean 301 declarations
- Certificates057.lean 309 declarations
- Certificates058.lean 305 declarations
- Certificates059.lean 313 declarations
- Certificates060.lean 310 declarations
- Certificates061.lean 308 declarations
- Certificates062.lean 316 declarations
- Certificates063.lean 315 declarations
- Certificates064.lean 314 declarations
- Certificates065.lean 313 declarations
- Certificates066.lean 320 declarations
- Certificates067.lean 311 declarations
- Certificates068.lean 317 declarations
- Certificates069.lean 318 declarations
- Certificates070.lean 297 declarations
- Certificates071.lean 298 declarations
- Certificates072.lean 305 declarations
- Certificates073.lean 633 declarations
- Certificates074.lean 303 declarations
- Certificates075.lean 311 declarations
- Certificates076.lean 314 declarations
- Certificates077.lean 305 declarations
- Certificates078.lean 307 declarations
- Certificates079.lean 306 declarations
- Certificates080.lean 313 declarations
- Certificates081.lean 316 declarations
- Certificates082.lean 316 declarations
- Certificates083.lean 308 declarations
- Certificates084.lean 312 declarations
- Certificates085.lean 312 declarations
- Certificates086.lean 310 declarations
- Certificates087.lean 315 declarations
- Certificates088.lean 318 declarations
- Certificates089.lean 320 declarations
- Certificates090.lean 309 declarations
- Certificates091.lean 309 declarations
- Certificates092.lean 316 declarations
- Certificates093.lean 315 declarations
- Certificates094.lean 315 declarations
- Certificates095.lean 316 declarations
- Certificates096.lean 320 declarations
- Certificates097.lean 270 declarations
- ChainProfiles.lean 25 declarations
- ChainRearrangement.lean 26 declarations
- CliqueBits.lean 4 declarations
- ColouredPaths.lean 42 declarations
- CompactDecisions.lean 8 declarations
- CompactLabels.lean 2 declarations
- CycleShortening.lean 14 declarations
- DenseCycles.lean 6 declarations
- Density.lean 6 declarations
- DistanceLayers.lean 19 declarations
- EdgeBits.lean 3 declarations
- EdgeDecisions.lean 8 declarations
- Exceptional.lean 5 declarations
- ExteriorBalls.lean 7 declarations
- ExteriorFrames.lean 6 declarations
- ExteriorPaths.lean 14 declarations
- FiniteGraphs.lean 38 declarations
- FiniteRange.lean 5 declarations
- FourCycles.lean 16 declarations
- FrameProperties.lean 26 declarations
- Independence.lean 10 declarations
- IndependenceTwo.lean 7 declarations
- InducedGraphs.lean 6 declarations
- LabelDecisions.lean 5 declarations
- LargeSystems.lean 54 declarations
- LongPaths.lean 3 declarations
- LowerBound.lean 7 declarations
- Main.lean 5 declarations
- MainTheorem.lean 1 declarations
- MarkedChains.lean 28 declarations
- MatrixBits.lean 9 declarations
- Minimality.lean 5 declarations
- OptimalSystems.lean 6 declarations
- PathSystems.lean 22 declarations
- PatternReduction.lean 3 declarations
- Patterns10x5.lean 10 declarations
- Patterns10x6.lean 8 declarations
- Patterns10x7.lean 6 declarations
- Patterns10x8.lean 6 declarations
- Patterns11x5.lean 12 declarations
- Patterns11x6.lean 10 declarations
- Patterns11x7.lean 8 declarations
- Patterns11x8.lean 6 declarations
- Patterns12x6.lean 16 declarations
- Patterns12x7.lean 12 declarations
- Patterns12x8.lean 8 declarations
- Patterns13x6.lean 24 declarations
- Patterns13x7.lean 18 declarations
- Patterns13x8.lean 12 declarations
- Patterns14x7.lean 30 declarations
- Patterns14x8.lean 20 declarations
- Patterns15x7.lean 50 declarations
- Patterns15x8.lean 34 declarations
- Patterns16x8.lean 64 declarations
- Patterns17x8.lean 114 declarations
- Patterns5x3.lean 6 declarations
- Patterns5x4.lean 6 declarations
- Patterns5x5.lean 6 declarations
- Patterns6x3.lean 6 declarations
- Patterns6x4.lean 6 declarations
- Patterns6x5.lean 6 declarations
- Patterns6x6.lean 6 declarations
- Patterns7x3.lean 6 declarations
- Patterns7x4.lean 6 declarations
- Patterns7x5.lean 6 declarations
- Patterns7x6.lean 6 declarations
- Patterns7x7.lean 6 declarations
- Patterns8x4.lean 6 declarations
- Patterns8x5.lean 6 declarations
- Patterns8x6.lean 6 declarations
- Patterns8x7.lean 6 declarations
- Patterns8x8.lean 6 declarations
- Patterns9x4.lean 8 declarations
- Patterns9x5.lean 8 declarations
- Patterns9x6.lean 6 declarations
- Patterns9x7.lean 6 declarations
- Patterns9x8.lean 6 declarations
- RamseyNumbers.lean 2 declarations
- StructuralReduction.lean 3 declarations
- SystemInsertion.lean 9 declarations
- ThreeCycles.lean 21 declarations