FormalConjectures/Wikipedia/
1070 declarations, 513 contain sorry, 0 declared as axioms; 165 files
Files
- ABC.lean 8 declarations
- AgohGiuga.lean 19 declarations
- Agrawal.lean 2 declarations
- AlgebraicNormality.lean 5 declarations
- AlmostPerfectNumbers.lean 2 declarations
- AmicableNumbers.lean 5 declarations
- AndrewsCurtis.lean 6 declarations
- Andrica.lean 2 declarations
- ArtinPrimitiveRootsConjecture.lean 16 declarations
- BalancedPrimes.lean 2 declarations
- BatemanHornConjecture.lean 5 declarations
- BealConjecture.lean 3 declarations
- BeckFialaConjecture.lean 3 declarations
- BetrothedNumbers.lean 5 declarations
- BingBorsuk.lean 1 declarations
- Bloch.lean 17 declarations
- BorsukConjecture.lean 14 declarations
- BoundedBurnsideProblem.lean 1 declarations
- Brennanconjecture.lean 11 declarations
- BrocardConjecture.lean 2 declarations
- BrocardProblem.lean 0 declarations
- Buchi.lean 8 declarations
- Bunyakovsky.lean 1 declarations
- BusyBeaver.lean 13 declarations
- CarmichaelTotient.lean 5 declarations
- Catalan.lean 5 declarations
- CernyConjecture.lean 2 declarations
- ClassNumberProblem.lean 3 declarations
- CollatzConjecture.lean 2 declarations
- CongruentNumber.lean 14 declarations
- Conway99Graph.lean 9 declarations
- DedekindNumber.lean 36 declarations
- DeterminantalConjecture.lean 1 declarations
- DiameterSimpleFiniteGroups.lean 7 declarations
- Dickson.lean 5 declarations
- DiophantineTuple.lean 19 declarations
- ElliottHalberstamConjecture.lean 5 declarations
- EllipticCurveRank.lean 48 declarations
- ErdosMoser.lean 5 declarations
- ErdosRadoSunflowerConjecture.lean 0 declarations
- Euclid.lean 3 declarations
- EulerBrick.lean 16 declarations
- EulerSumOfPowers.lean 3 declarations
- Exponentials.lean 2 declarations
- FactorialPrime.lean 4 declarations
- Falconer.lean 2 declarations
- FeitThompsonPrimeConjecture.lean 1 declarations
- Fermat.lean 4 declarations
- FermatCatalanConjecture.lean 5 declarations
- FibonacciPrimes.lean 3 declarations
- Firoozbakht.lean 3 declarations
- FlintCooksonHills.lean 2 declarations
- FortuneConjecture.lean 9 declarations
- Fuglede.lean 4 declarations
- GapConjecture.lean 1 declarations
- GaussCircleProblem.lean 6 declarations
- Gilbreath.lean 2 declarations
- GoldbachConjecture.lean 2 declarations
- GoodmanConjecture.lean 7 declarations
- Goormaghtigh.lean 6 declarations
- GracefulLabeling.lean 3 declarations
- Grimm.lean 2 declarations
- GromovPolynomialGrowth.lean 2 declarations
- Hadamard.lean 9 declarations
- HadwigerNelson.lean 0 declarations
- Hall.lean 6 declarations
- HappyEndingProblem.lean 0 declarations
- HardyLittlewood.lean 9 declarations
- HasseWeil.lean 7 declarations
- HerzogSchonheimConjecture.lean 0 declarations
- HilbertFifthProblem.lean 0 declarations
- IdonealCompleteness.lean 5 declarations
- InscribedSquare.lean 6 declarations
- InvariantSubspaceProblem.lean 7 declarations
- InverseGalois.lean 8 declarations
- Irrational.lean 9 declarations
- JacobianConjecture.lean 11 declarations
- Jacobson.lean 4 declarations
- JugglerConjecture.lean 3 declarations
- Kakeya.lean 8 declarations
- Kaplansky.lean 10 declarations
- Koethe.lean 29 declarations
- KomlosConjecture.lean 3 declarations
- KummerVandiver.lean 1 declarations
- LanderParkinAndSelfridgeConjecture.lean 2 declarations
- LegendreConjecture.lean 3 declarations
- LehmerMahlerMeasureProblem.lean 8 declarations
- LehmerTotient.lean 1 declarations
- LeinsterGroup.lean 6 declarations
- Lemoine.lean 3 declarations
- LittlewoodConjecture.lean 2 declarations
- LocalUniformization.lean 5 declarations
- LonelyRunnerConjecture.lean 4 declarations
- LovaszPlummerConjecture.lean 6 declarations
- LychrelNumbers.lean 12 declarations
- MagicSquares.lean 2 declarations
- Mahler32.lean 4 declarations
- Mandelbrot.lean 15 declarations
- MeanValueProblem.lean 4 declarations
- Mersenne.lean 9 declarations
- Mills.lean 6 declarations
- MinimalOverlapProblem.lean 0 declarations
- ModularityConjecture.lean 8 declarations
- MoserWorm.lean 9 declarations
- MovingSofa.lean 28 declarations
- NoThreeInLineProblem.lean 0 declarations
- NoetherProblem.lean 8 declarations
- NormalityOfPi.lean 1 declarations
- OddWeirdNumber.lean 0 declarations
- Oppermann.lean 6 declarations
- PebblingNumberConjecture.lean 11 declarations
- Pell.lean 8 declarations
- PerfectNumbers.lean 5 declarations
- PierceBirkhoff.lean 7 declarations
- PierpontPrime.lean 4 declarations
- PollocksConjecture.lean 5 declarations
- PolyTimeFunctions.lean 1 declarations
- PompeiuProblem.lean 9 declarations
- PowerfulNumbersDensity.lean 6 declarations
- PrimeTriplets.lean 1 declarations
- PrimesAndPerfectSquares.lean 1 declarations
- QuasiperfectNumbers.lean 2 declarations
- RamanujanTau.lean 8 declarations
- RamseyNumbers.lean 19 declarations
- RationalDistanceProblem.lean 2 declarations
- RegularPrimes.lean 9 declarations
- RepunitPrime.lean 9 declarations
- ResolutionOfSingularities.lean 7 declarations
- RiemannZetaValues.lean 8 declarations
- RudinsConjecture.lean 9 declarations
- SatoTateConjecture.lean 9 declarations
- Schanuel.lean 1 declarations
- Schinzel.lean 1 declarations
- ScholzConjecture.lean 3 declarations
- Selfridge.lean 9 declarations
- Sendov.lean 5 declarations
- SerreMultiplicityConjectures.lean 7 declarations
- SidorenkoConjecture.lean 28 declarations
- SierpinskiNumber.lean 4 declarations
- Singmaster.lean 2 declarations
- SixStandardDeviations.lean 4 declarations
- SmallCohenMacaulayModules.lean 5 declarations
- SnakeInTheBox.lean 15 declarations
- SolitaryNumber.lean 4 declarations
- SparseRuler.lean 9 declarations
- SquarePacking.lean 16 declarations
- SteinerSystem.lean 8 declarations
- SumOfThreeCubes.lean 7 declarations
- Superperfectnumbers.lean 2 declarations
- SurjunctiveGroup.lean 8 declarations
- TarskiExponentialFunctionProblem.lean 5 declarations
- Taxicab.lean 7 declarations
- Toronto.lean 3 declarations
- Transcendental.lean 22 declarations
- TwinPrimes.lean 1 declarations
- UnionClosed.lean 11 declarations
- VaughtConjecture.lean 2 declarations
- VizingConjecture.lean 4 declarations
- WallSunSun.lean 13 declarations
- WieferichMirimanoffPrime.lean 6 declarations
- WieferichPrime.lean 7 declarations
- WilsonPrime.lean 6 declarations
- WolstenholmePrime.lean 7 declarations
- WoodalPrimes.lean 1 declarations
- conjecture_1_3_to_2_3.lean 1 declarations