OAI/Combinatorics/
901775 declarations, 0 contain sorry, 0 declared as axioms; 16614 files
Folders
- Automata/ 16 files, 399 declarations
- BalancedRyser/ 698 files, 6143 declarations
- BinaryEdit/ 82 files, 642 declarations
- BooleanFunctions/ 21 files, 372 declarations
- Chromatic/ 549 files, 5902 declarations
- CliqueFree/ 31 files, 402 declarations
- Coboundary/ 15 files, 1014 declarations
- CompleteCrossing/ 46 files, 1221 declarations
- ContingencyTables/ 1117 files, 11686 declarations
- Crossing/ 339 files, 1494 declarations
- CycleDecomposition/ 34 files, 1362 declarations
- DiscreteConvexity/ 36 files, 354 declarations
- Distances/ 1 files, 34 declarations
- EditApproximation/ 1025 files, 7412 declarations
- EditDistance/ 45 files, 513 declarations
- EuclideanRamsey/ 47 files, 663 declarations
- ExpectationThreshold/ 47 files, 382 declarations
- FiniteCircle/ 36 files, 713 declarations
- GotsmanLinial/ 22 files, 402 declarations
- GraphSpectrum/ 1 files, 49 declarations
- GraphThreshold/ 37 files, 592 declarations
- Graphs/ 1 files, 48 declarations
- HadwigerCounterexample/ 276 files, 2995 declarations
- HadwigerMatching/ 10 files, 38 declarations
- HalvingLines/ 47 files, 1242 declarations
- Hamiltonian/ 31 files, 697 declarations
- Honeycomb/ 2 files, 192 declarations
- HoneycombBridges/ 6 files, 225 declarations
- HoneycombChords/ 100 files, 6850 declarations
- HoneycombCorridor/ 44 files, 733 declarations
- IndependentSets/ 454 files, 10124 declarations
- InfiniteMatroid/ 33 files, 421 declarations
- KMedian/ 765 files, 7180 declarations
- KMedianRecovery/ 522 files, 9213 declarations
- KServer/ 37 files, 3083 declarations
- ListHadwiger/ 53 files, 1050 declarations
- LowSpaceSubsetSum/ 615 files, 6008 declarations
- MatchingCount/ 415 files, 7367 declarations
- MatchingEntropy/ 35 files, 603 declarations
- MatchingPSD/ 66 files, 589 declarations
- MatrixRemoval/ 61 files, 644 declarations
- MatroidCounting/ 1 files, 3078 declarations
- Order/ 2 files, 22 declarations
- ParityLifts/ 117 files, 1833 declarations
- PerfectMatching/ 39 files, 545 declarations
- Permanent/ 5 files, 58 declarations
- PlanarL1/ 63 files, 2590 declarations
- PolynomialVacuum/ 294 files, 4577 declarations
- PortMatching/ 5 files, 69 declarations
- ProgressionColoring/ 115 files, 1029 declarations
- Progressions/ 4774 files, 46812 declarations
- Ramsey/ 444 files, 693422 declarations
- RamseyFive/ 450 files, 3219 declarations
- Ryser/ 221 files, 1878 declarations
- SecondNeighborhood/ 43 files, 345 declarations
- Sensitivity/ 51 files, 334 declarations
- SharpRamsey/ 408 files, 3470 declarations
- SharpThreshold/ 78 files, 507 declarations
- Sidorenko/ 35 files, 2280 declarations
- SnakyCertificate/ 51 files, 6994 declarations
- SparsestCut/ 62 files, 820 declarations
- SphericalRamsey/ 19 files, 75 declarations
- SquareDifference/ 81 files, 1803 declarations
- StableGraphs/ 1 files, 66 declarations
- StripMass/ 130 files, 5677 declarations
- SumProduct/ 259 files, 4685 declarations
- ThinTrees/ 183 files, 3528 declarations
- TreeEdit/ 30 files, 460 declarations
- TreewidthL1/ 33 files, 926 declarations
- TriangleFace/ 6 files, 26 declarations
- TriangleRemoval/ 287 files, 1892 declarations
- TwoWayAutomata/ 26 files, 266 declarations
- UniformKServer/ 410 files, 4181 declarations
- VariableWL/ 61 files, 3228 declarations
- YoungDiagram/ 7 files, 27 declarations
Files
- HoneycombChords.lean 1 import, no declarations
- LowSpaceSubsetSum.lean 10 imports, no declarations
- ProgressionColoring.lean 1 import, no declarations
- SphericalRamsey.lean 1 import, no declarations
- VariableWL.lean 1 import, no declarations