Documentation
FormalConjectures
.
All
Search
return to top
source
Imports
Init
FormalConjectures.ErdosProblems.«1»
FormalConjectures.ErdosProblems.«10»
FormalConjectures.ErdosProblems.«11»
FormalConjectures.ErdosProblems.«12»
FormalConjectures.ErdosProblems.«126»
FormalConjectures.ErdosProblems.«128»
FormalConjectures.ErdosProblems.«137»
FormalConjectures.ErdosProblems.«139»
FormalConjectures.ErdosProblems.«141»
FormalConjectures.ErdosProblems.«142»
FormalConjectures.ErdosProblems.«143»
FormalConjectures.ErdosProblems.«155»
FormalConjectures.ErdosProblems.«160»
FormalConjectures.ErdosProblems.«168»
FormalConjectures.ErdosProblems.«17»
FormalConjectures.ErdosProblems.«189»
FormalConjectures.ErdosProblems.«198»
FormalConjectures.ErdosProblems.«20»
FormalConjectures.ErdosProblems.«200»
FormalConjectures.ErdosProblems.«203»
FormalConjectures.ErdosProblems.«208»
FormalConjectures.ErdosProblems.«212»
FormalConjectures.ErdosProblems.«213»
FormalConjectures.ErdosProblems.«218»
FormalConjectures.ErdosProblems.«219»
FormalConjectures.ErdosProblems.«228»
FormalConjectures.ErdosProblems.«229»
FormalConjectures.ErdosProblems.«233»
FormalConjectures.ErdosProblems.«236»
FormalConjectures.ErdosProblems.«242»
FormalConjectures.ErdosProblems.«243»
FormalConjectures.ErdosProblems.«244»
FormalConjectures.ErdosProblems.«245»
FormalConjectures.ErdosProblems.«247»
FormalConjectures.ErdosProblems.«248»
FormalConjectures.ErdosProblems.«249»
FormalConjectures.ErdosProblems.«250»
FormalConjectures.ErdosProblems.«251»
FormalConjectures.ErdosProblems.«257»
FormalConjectures.ErdosProblems.«258»
FormalConjectures.ErdosProblems.«259»
FormalConjectures.ErdosProblems.«264»
FormalConjectures.ErdosProblems.«267»
FormalConjectures.ErdosProblems.«273»
FormalConjectures.ErdosProblems.«274»
FormalConjectures.ErdosProblems.«28»
FormalConjectures.ErdosProblems.«285»
FormalConjectures.ErdosProblems.«289»
FormalConjectures.ErdosProblems.«295»
FormalConjectures.ErdosProblems.«298»
FormalConjectures.ErdosProblems.«299»
FormalConjectures.ErdosProblems.«3»
FormalConjectures.ErdosProblems.«30»
FormalConjectures.ErdosProblems.«303»
FormalConjectures.ErdosProblems.«304»
FormalConjectures.ErdosProblems.«306»
FormalConjectures.ErdosProblems.«307»
FormalConjectures.ErdosProblems.«313»
FormalConjectures.ErdosProblems.«316»
FormalConjectures.ErdosProblems.«319»
FormalConjectures.ErdosProblems.«324»
FormalConjectures.ErdosProblems.«325»
FormalConjectures.ErdosProblems.«326»
FormalConjectures.ErdosProblems.«329»
FormalConjectures.ErdosProblems.«340»
FormalConjectures.ErdosProblems.«347»
FormalConjectures.ErdosProblems.«348»
FormalConjectures.ErdosProblems.«349»
FormalConjectures.ErdosProblems.«350»
FormalConjectures.ErdosProblems.«352»
FormalConjectures.ErdosProblems.«36»
FormalConjectures.ErdosProblems.«364»
FormalConjectures.ErdosProblems.«366»
FormalConjectures.ErdosProblems.«370»
FormalConjectures.ErdosProblems.«373»
FormalConjectures.ErdosProblems.«376»
FormalConjectures.ErdosProblems.«377»
FormalConjectures.ErdosProblems.«379»
FormalConjectures.ErdosProblems.«383»
FormalConjectures.ErdosProblems.«389»
FormalConjectures.ErdosProblems.«39»
FormalConjectures.ErdosProblems.«392»
FormalConjectures.ErdosProblems.«398»
FormalConjectures.ErdosProblems.«4»
FormalConjectures.ErdosProblems.«40»
FormalConjectures.ErdosProblems.«402»
FormalConjectures.ErdosProblems.«406»
FormalConjectures.ErdosProblems.«409»
FormalConjectures.ErdosProblems.«41»
FormalConjectures.ErdosProblems.«410»
FormalConjectures.ErdosProblems.«412»
FormalConjectures.ErdosProblems.«416»
FormalConjectures.ErdosProblems.«418»
FormalConjectures.ErdosProblems.«421»
FormalConjectures.ErdosProblems.«427»
FormalConjectures.ErdosProblems.«434»
FormalConjectures.ErdosProblems.«44»
FormalConjectures.ErdosProblems.«442»
FormalConjectures.ErdosProblems.«457»
FormalConjectures.ErdosProblems.«463»
FormalConjectures.ErdosProblems.«469»
FormalConjectures.ErdosProblems.«477»
FormalConjectures.ErdosProblems.«479»
FormalConjectures.ErdosProblems.«48»
FormalConjectures.ErdosProblems.«480»
FormalConjectures.ErdosProblems.«488»
FormalConjectures.ErdosProblems.«499»
FormalConjectures.ErdosProblems.«509»
FormalConjectures.ErdosProblems.«522»
FormalConjectures.ErdosProblems.«541»
FormalConjectures.ErdosProblems.«56»
FormalConjectures.ErdosProblems.«587»
FormalConjectures.ErdosProblems.«590»
FormalConjectures.ErdosProblems.«591»
FormalConjectures.ErdosProblems.«592»
FormalConjectures.ErdosProblems.«64»
FormalConjectures.ErdosProblems.«645»
FormalConjectures.ErdosProblems.«66»
FormalConjectures.ErdosProblems.«672»
FormalConjectures.ErdosProblems.«678»
FormalConjectures.ErdosProblems.«68»
FormalConjectures.ErdosProblems.«689»
FormalConjectures.ErdosProblems.«69»
FormalConjectures.ErdosProblems.«694»
FormalConjectures.ErdosProblems.«695»
FormalConjectures.ErdosProblems.«707»
FormalConjectures.ErdosProblems.«723»
FormalConjectures.ErdosProblems.«727»
FormalConjectures.ErdosProblems.«730»
FormalConjectures.ErdosProblems.«779»
FormalConjectures.ErdosProblems.«786»
FormalConjectures.ErdosProblems.«817»
FormalConjectures.ErdosProblems.«825»
FormalConjectures.ErdosProblems.«826»
FormalConjectures.ErdosProblems.«845»
FormalConjectures.ErdosProblems.«846»
FormalConjectures.ErdosProblems.«868»
FormalConjectures.ErdosProblems.«873»
FormalConjectures.ErdosProblems.«897»
FormalConjectures.ErdosProblems.«899»
FormalConjectures.ErdosProblems.«9»
FormalConjectures.ErdosProblems.«913»
FormalConjectures.ErdosProblems.«931»
FormalConjectures.ErdosProblems.«932»
FormalConjectures.ErdosProblems.«936»
FormalConjectures.ErdosProblems.«938»
FormalConjectures.ErdosProblems.«939»
FormalConjectures.ErdosProblems.«940»
FormalConjectures.ErdosProblems.«942»
FormalConjectures.ErdosProblems.«943»
FormalConjectures.ErdosProblems.«945»
FormalConjectures.ErdosProblems.«949»
FormalConjectures.Mathoverflow.«1973»
FormalConjectures.Mathoverflow.«21003»
FormalConjectures.Mathoverflow.«339137»
FormalConjectures.Mathoverflow.«34145»
FormalConjectures.Mathoverflow.«347178»
FormalConjectures.Mathoverflow.«486451»
FormalConjectures.Mathoverflow.«75792»
FormalConjectures.Other.BeaverMathOlympiad
FormalConjectures.Other.EquationalTheories_677_255
FormalConjectures.Other.OddPerfectNumber
FormalConjectures.Other.SchurTruncatedExponential
FormalConjectures.Paper.CasasAlvero
FormalConjectures.Paper.HartshorneConjecture
FormalConjectures.Paper.Kurepa
FormalConjectures.Paper.Rupert
FormalConjectures.Wikipedia.ABC
FormalConjectures.Wikipedia.AgohGiuga
FormalConjectures.Wikipedia.Andrica
FormalConjectures.Wikipedia.ArtinPrimitiveRootsConjecture
FormalConjectures.Wikipedia.BatemanHornConjecture
FormalConjectures.Wikipedia.BealConjecture
FormalConjectures.Wikipedia.BoundedBurnsideProblem
FormalConjectures.Wikipedia.BrocardConjecture
FormalConjectures.Wikipedia.BrocardProblem
FormalConjectures.Wikipedia.Bunyakovsky
FormalConjectures.Wikipedia.BusyBeaver
FormalConjectures.Wikipedia.Catalan
FormalConjectures.Wikipedia.ClassNumberProblem
FormalConjectures.Wikipedia.CollatzConjecture
FormalConjectures.Wikipedia.CongruentNumber
FormalConjectures.Wikipedia.Conway99Graph
FormalConjectures.Wikipedia.DeterminantalConjecture
FormalConjectures.Wikipedia.Dickson
FormalConjectures.Wikipedia.EllipticCurveRank
FormalConjectures.Wikipedia.EulerBrick
FormalConjectures.Wikipedia.EulerSumOfPowers
FormalConjectures.Wikipedia.Exponentials
FormalConjectures.Wikipedia.Fermat
FormalConjectures.Wikipedia.FermatCatalanConjecture
FormalConjectures.Wikipedia.FibonacciPrimes
FormalConjectures.Wikipedia.Firoozbakht
FormalConjectures.Wikipedia.GaussCircleProblem
FormalConjectures.Wikipedia.Gilbreath
FormalConjectures.Wikipedia.GoldbachConjecture
FormalConjectures.Wikipedia.Grimm
FormalConjectures.Wikipedia.GromovPolynomialGrowth
FormalConjectures.Wikipedia.Hadamard
FormalConjectures.Wikipedia.HadwigerNelson
FormalConjectures.Wikipedia.Hall
FormalConjectures.Wikipedia.HardyLittlewood
FormalConjectures.Wikipedia.InscribedSquare
FormalConjectures.Wikipedia.InvariantSubspaceProblem
FormalConjectures.Wikipedia.InverseGalois
FormalConjectures.Wikipedia.Irrational
FormalConjectures.Wikipedia.JacobianConjecture
FormalConjectures.Wikipedia.Kakeya
FormalConjectures.Wikipedia.Kaplansky
FormalConjectures.Wikipedia.Koethe
FormalConjectures.Wikipedia.LegendreConjecture
FormalConjectures.Wikipedia.LehmerMahlerMeasureProblem
FormalConjectures.Wikipedia.LehmerTotient
FormalConjectures.Wikipedia.Lemoine
FormalConjectures.Wikipedia.LittlewoodConjecture
FormalConjectures.Wikipedia.LonelyRunnerConjecture
FormalConjectures.Wikipedia.Mahler32
FormalConjectures.Wikipedia.Mandelbrot
FormalConjectures.Wikipedia.MinimalOverlapProblem
FormalConjectures.Wikipedia.ModularityConjecture
FormalConjectures.Wikipedia.MoserWorm
FormalConjectures.Wikipedia.NewMersenne
FormalConjectures.Wikipedia.NoetherProblem
FormalConjectures.Wikipedia.Oppermann
FormalConjectures.Wikipedia.PebblingNumberConjecture
FormalConjectures.Wikipedia.PrimesAndPerfectSquares
FormalConjectures.Wikipedia.RamanujanTau
FormalConjectures.Wikipedia.RegularPrimes
FormalConjectures.Wikipedia.RiemannZetaValues
FormalConjectures.Wikipedia.Schanuel
FormalConjectures.Wikipedia.Schinzel
FormalConjectures.Wikipedia.Selfridge
FormalConjectures.Wikipedia.Sendov
FormalConjectures.Wikipedia.Singmaster
FormalConjectures.Wikipedia.SumOfThreeCubes
FormalConjectures.Wikipedia.Transcendental
FormalConjectures.Wikipedia.TwinPrimes
FormalConjectures.Wikipedia.UnionClosed
FormalConjectures.Wikipedia.WallSunSun
FormalConjectures.Wikipedia.WolstenholmePrime
FormalConjectures.Wikipedia.conjecture_1_3_to_2_3
FormalConjectures.WrittenOnTheWallII.GraphConjecture1
FormalConjectures.WrittenOnTheWallII.GraphConjecture19
FormalConjectures.WrittenOnTheWallII.GraphConjecture2
FormalConjectures.WrittenOnTheWallII.GraphConjecture3
FormalConjectures.WrittenOnTheWallII.GraphConjecture34
FormalConjectures.WrittenOnTheWallII.GraphConjecture4
FormalConjectures.WrittenOnTheWallII.GraphConjecture40
FormalConjectures.WrittenOnTheWallII.GraphConjecture5
FormalConjectures.WrittenOnTheWallII.GraphConjecture58
FormalConjectures.WrittenOnTheWallII.GraphConjecture6
FormalConjectures.Arxiv.«0911.2077».Conjecture6_3
FormalConjectures.Arxiv.«0912.2382».CurlingNumberConjecture
FormalConjectures.Arxiv.«1308.0994».BoxdotConjecture
FormalConjectures.Arxiv.«1506.05785».MaximumAngle
FormalConjectures.Arxiv.«1601.03081».UniqueCrystalComponents
FormalConjectures.Arxiv.«1609.08688».sIncreasingrTuples
FormalConjectures.Arxiv.«2107.12475».CollatzLike
FormalConjectures.Arxiv.«2208.14736».ZariskiCancellation
FormalConjectures.Arxiv.«2501.03234».ArithmeticSumS
FormalConjectures.Books.UniformDistributionOfSequences.Equidistribution
FormalConjectures.ForMathlib.AlgebraicGeometry.ProjectiveSpace
FormalConjectures.ForMathlib.AlgebraicGeometry.VectorBundle
FormalConjectures.ForMathlib.Combinatorics.Basic
FormalConjectures.ForMathlib.Geometry.«2d»
FormalConjectures.ForMathlib.Geometry.«3d»
FormalConjectures.ForMathlib.NumberTheory.AdditivelyComplete
FormalConjectures.ForMathlib.NumberTheory.CoveringSystem
FormalConjectures.ForMathlib.NumberTheory.WallSunSunPrimes
FormalConjectures.ForMathlib.Algebra.Group.Indicator
FormalConjectures.ForMathlib.Algebra.Polynomial.Basic
FormalConjectures.ForMathlib.Algebra.Polynomial.HasseDeriv
FormalConjectures.ForMathlib.Combinatorics.AP.Basic
FormalConjectures.ForMathlib.Combinatorics.Additive.Basis
FormalConjectures.ForMathlib.Combinatorics.Additive.Convolution
FormalConjectures.ForMathlib.Combinatorics.SimpleGraph.Bipartite
FormalConjectures.ForMathlib.Combinatorics.SimpleGraph.DiamExtra
FormalConjectures.ForMathlib.Computability.TuringMachine.BusyBeavers
FormalConjectures.ForMathlib.Computability.TuringMachine.PostTuringMachine
FormalConjectures.ForMathlib.Data.Nat.Full
FormalConjectures.ForMathlib.Data.Nat.MaxPrimeFac
FormalConjectures.ForMathlib.Data.Nat.Squarefree
FormalConjectures.ForMathlib.Data.Real.Constants
FormalConjectures.ForMathlib.Data.Set.Density
FormalConjectures.ForMathlib.Logic.Equiv.Fin
FormalConjectures.ForMathlib.Order.Filter.Cofinite
FormalConjectures.ForMathlib.SetTheory.Cardinal.SimpleGraph
FormalConjectures.ForMathlib.Test.Computability.TuringMachine
FormalConjectures.ForMathlib.Analysis.SpecialFunctions.Log.Basic
FormalConjectures.ForMathlib.Combinatorics.SimpleGraph.GraphConjectures.Definitions
FormalConjectures.ForMathlib.Combinatorics.SimpleGraph.GraphConjectures.Domination
FormalConjectures.ForMathlib.Combinatorics.SimpleGraph.GraphConjectures.Invariants
FormalConjectures.ForMathlib.Data.Nat.Factorization.Basic
FormalConjectures.ForMathlib.Data.Nat.Prime.Defs
FormalConjectures.ForMathlib.Data.Nat.Prime.Finset
FormalConjectures.ForMathlib.Order.Interval.Finset.Basic
FormalConjectures.ForMathlib.Order.Interval.Finset.Nat
FormalConjectures.ForMathlib.Algebra.Order.Group.Pointwise.Interval
Imported by