Documentation
FormalConjectures
.
All
Search
return to top
source
Imports
Init
FormalConjectures.ErdosProblems.«1»
FormalConjectures.ErdosProblems.«10»
FormalConjectures.ErdosProblems.«126»
FormalConjectures.ErdosProblems.«139»
FormalConjectures.ErdosProblems.«143»
FormalConjectures.ErdosProblems.«168»
FormalConjectures.ErdosProblems.«189»
FormalConjectures.ErdosProblems.«198»
FormalConjectures.ErdosProblems.«219»
FormalConjectures.ErdosProblems.«228»
FormalConjectures.ErdosProblems.«229»
FormalConjectures.ErdosProblems.«242»
FormalConjectures.ErdosProblems.«243»
FormalConjectures.ErdosProblems.«244»
FormalConjectures.ErdosProblems.«245»
FormalConjectures.ErdosProblems.«247»
FormalConjectures.ErdosProblems.«248»
FormalConjectures.ErdosProblems.«250»
FormalConjectures.ErdosProblems.«257»
FormalConjectures.ErdosProblems.«258»
FormalConjectures.ErdosProblems.«267»
FormalConjectures.ErdosProblems.«285»
FormalConjectures.ErdosProblems.«289»
FormalConjectures.ErdosProblems.«295»
FormalConjectures.ErdosProblems.«298»
FormalConjectures.ErdosProblems.«303»
FormalConjectures.ErdosProblems.«304»
FormalConjectures.ErdosProblems.«316»
FormalConjectures.ErdosProblems.«319»
FormalConjectures.ErdosProblems.«325»
FormalConjectures.ErdosProblems.«326»
FormalConjectures.ErdosProblems.«348»
FormalConjectures.ErdosProblems.«350»
FormalConjectures.ErdosProblems.«370»
FormalConjectures.ErdosProblems.«373»
FormalConjectures.ErdosProblems.«376»
FormalConjectures.ErdosProblems.«377»
FormalConjectures.ErdosProblems.«383»
FormalConjectures.ErdosProblems.«389»
FormalConjectures.ErdosProblems.«392»
FormalConjectures.ErdosProblems.«4»
FormalConjectures.ErdosProblems.«402»
FormalConjectures.ErdosProblems.«406»
FormalConjectures.ErdosProblems.«409»
FormalConjectures.ErdosProblems.«410»
FormalConjectures.ErdosProblems.«412»
FormalConjectures.ErdosProblems.«418»
FormalConjectures.ErdosProblems.«421»
FormalConjectures.ErdosProblems.«427»
FormalConjectures.ErdosProblems.«434»
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.«56»
FormalConjectures.ErdosProblems.«587»
FormalConjectures.ErdosProblems.«672»
FormalConjectures.ErdosProblems.«678»
FormalConjectures.ErdosProblems.«69»
FormalConjectures.ErdosProblems.«694»
FormalConjectures.ErdosProblems.«695»
FormalConjectures.ErdosProblems.«727»
FormalConjectures.ErdosProblems.«730»
FormalConjectures.ErdosProblems.«779»
FormalConjectures.ErdosProblems.«786»
FormalConjectures.ErdosProblems.«817»
FormalConjectures.ErdosProblems.«825»
FormalConjectures.ErdosProblems.«826»
FormalConjectures.ErdosProblems.«846»
FormalConjectures.ErdosProblems.«868»
FormalConjectures.ErdosProblems.«873»
FormalConjectures.ErdosProblems.«897»
FormalConjectures.ErdosProblems.«899»
FormalConjectures.ErdosProblems.«913»
FormalConjectures.ErdosProblems.«931»
FormalConjectures.ErdosProblems.«932»
FormalConjectures.LandauProblems.GoldbachConjecture
FormalConjectures.LandauProblems.LegendreConjecture
FormalConjectures.LandauProblems.PrimesAndPerfectSquares
FormalConjectures.LandauProblems.TwinPrimes
FormalConjectures.Mathoverflow.«21003»
FormalConjectures.Mathoverflow.«339137»
FormalConjectures.Mathoverflow.«347178»
FormalConjectures.Mathoverflow.«486451»
FormalConjectures.Other.BusyBeaverAntihydra
FormalConjectures.Other.EquationalTheories_677_255
FormalConjectures.Other.OddPerfectNumber
FormalConjectures.Paper.Kurepa
FormalConjectures.Wikipedia.ABC
FormalConjectures.Wikipedia.AgohGiuga
FormalConjectures.Wikipedia.Andrica
FormalConjectures.Wikipedia.ArtinPrimitiveRootsConjecture
FormalConjectures.Wikipedia.BatemanHornConjecture
FormalConjectures.Wikipedia.BealConjecture
FormalConjectures.Wikipedia.BoundedBurnsideProblem
FormalConjectures.Wikipedia.Brocard
FormalConjectures.Wikipedia.BusyBeaver
FormalConjectures.Wikipedia.Catalan
FormalConjectures.Wikipedia.CollatzConjecture
FormalConjectures.Wikipedia.Conway99Graph
FormalConjectures.Wikipedia.DeterminantalConjecture
FormalConjectures.Wikipedia.Fermat
FormalConjectures.Wikipedia.FermatCatalanConjecture
FormalConjectures.Wikipedia.GaussCircleProblem
FormalConjectures.Wikipedia.Hadamard
FormalConjectures.Wikipedia.HardyLittlewood
FormalConjectures.Wikipedia.InverseGalois
FormalConjectures.Wikipedia.Irrational
FormalConjectures.Wikipedia.JacobianConjecture
FormalConjectures.Wikipedia.Koethe
FormalConjectures.Wikipedia.LehmerTotient
FormalConjectures.Wikipedia.LittlewoodConjecture
FormalConjectures.Wikipedia.LonelyRunnerConjecture
FormalConjectures.Wikipedia.MLC
FormalConjectures.Wikipedia.NoetherProblem
FormalConjectures.Wikipedia.PebblingNumberConjecture
FormalConjectures.Wikipedia.RamanujanTau
FormalConjectures.Wikipedia.RiemannZetaValues
FormalConjectures.Wikipedia.SchanuelsConjecture
FormalConjectures.Wikipedia.conjecture_1_3_to_2_3
FormalConjectures.Arxiv.«0911.2077».Conjecture6_3
FormalConjectures.Arxiv.«0912.2382».CurlingNumberConjecture
FormalConjectures.Arxiv.«1601.03081».UniqueCrystalComponents
FormalConjectures.Arxiv.«1609.08688».sIncreasingrTuples
FormalConjectures.Arxiv.«2107.12475».CollatzLike
FormalConjectures.Arxiv.«2208.14736».ZariskiCancellation
FormalConjectures.Books.UniformDistributionOfSequences.Equidistribution
FormalConjectures.ForMathlib.Combinatorics.Basic
FormalConjectures.ForMathlib.Computability.TuringMachine
FormalConjectures.ForMathlib.Geometry.«2d»
FormalConjectures.ForMathlib.Combinatorics.Additive.Basis
FormalConjectures.ForMathlib.Data.Nat.MaxPrimeFac
FormalConjectures.ForMathlib.Data.Set.Density
FormalConjectures.ForMathlib.Logic.Equiv.Fin
FormalConjectures.ForMathlib.Order.Filter.Cofinite
FormalConjectures.ForMathlib.Test.Computability.TuringMachine
FormalConjectures.ForMathlib.Analysis.SpecialFunctions.Log.Basic
FormalConjectures.ForMathlib.Data.Nat.Prime.Defs
FormalConjectures.ForMathlib.Order.Interval.Finset.Basic
FormalConjectures.ForMathlib.Order.Interval.Finset.Nat
FormalConjectures.ForMathlib.Algebra.Order.Group.Pointwise.Interval
Imported by