FormalConjectures/Subsets/FC100OpenSet1.lean
1 declarations, 0 contain sorry, 0 declared as axioms
FC100OpenSet1
A random subset of 100 open research problems, drawn uniformly at random
from all problems with the category research open tag.
Imports (90)
- FormalConjecturesUtil.DeclName
- FormalConjecturesUtil
- FormalConjectures.Arxiv.«0912.2382».CurlingNumberConjecture
- FormalConjectures.Arxiv.«1601.03081».UniqueCrystalComponents
- FormalConjectures.Arxiv.«2501.03234».ArithmeticSumS
- FormalConjectures.Books.UniformDistributionOfSequences.Equidistribution
- FormalConjectures.ErdosProblems.«1002»
- FormalConjectures.ErdosProblems.«1074»
- FormalConjectures.ErdosProblems.«1092»
- FormalConjectures.ErdosProblems.«1093»
- FormalConjectures.ErdosProblems.«1097»
- FormalConjectures.ErdosProblems.«1113»
- FormalConjectures.ErdosProblems.«123»
- FormalConjectures.ErdosProblems.«125»
- FormalConjectures.ErdosProblems.«12»
- FormalConjectures.ErdosProblems.«137»
- FormalConjectures.ErdosProblems.«188»
- FormalConjectures.ErdosProblems.«200»
- FormalConjectures.ErdosProblems.«23»
- FormalConjectures.ErdosProblems.«260»
- FormalConjectures.ErdosProblems.«269»
- FormalConjectures.ErdosProblems.«272»
- FormalConjectures.ErdosProblems.«282»
- FormalConjectures.ErdosProblems.«288»
- FormalConjectures.ErdosProblems.«307»
- FormalConjectures.ErdosProblems.«313»
- FormalConjectures.ErdosProblems.«324»
- FormalConjectures.ErdosProblems.«329»
- FormalConjectures.ErdosProblems.«332»
- FormalConjectures.ErdosProblems.«340»
- FormalConjectures.ErdosProblems.«358»
- FormalConjectures.ErdosProblems.«36»
- FormalConjectures.ErdosProblems.«385»
- FormalConjectures.ErdosProblems.«398»
- FormalConjectures.ErdosProblems.«409»
- FormalConjectures.ErdosProblems.«479»
- FormalConjectures.ErdosProblems.«517»
- FormalConjectures.ErdosProblems.«535»
- FormalConjectures.ErdosProblems.«539»
- FormalConjectures.ErdosProblems.«61»
- FormalConjectures.ErdosProblems.«647»
- FormalConjectures.ErdosProblems.«694»
- FormalConjectures.ErdosProblems.«695»
- FormalConjectures.ErdosProblems.«770»
- FormalConjectures.ErdosProblems.«830»
- FormalConjectures.ErdosProblems.«887»
- FormalConjectures.ErdosProblems.«888»
- FormalConjectures.ErdosProblems.«890»
- FormalConjectures.ErdosProblems.«92»
- FormalConjectures.ErdosProblems.«931»
- FormalConjectures.ErdosProblems.«952»
- FormalConjectures.ErdosProblems.«996»
- FormalConjectures.GreensOpenProblems.«14»
- FormalConjectures.GreensOpenProblems.«24»
- FormalConjectures.GreensOpenProblems.«31»
- FormalConjectures.GreensOpenProblems.«58»
- FormalConjectures.GreensOpenProblems.«61»
- FormalConjectures.GreensOpenProblems.«9»
- FormalConjectures.Mathoverflow.«1973»
- FormalConjectures.Millennium.Poincare
- FormalConjectures.OEIS.«303656»
- FormalConjectures.OEIS.«308734»
- FormalConjectures.OEIS.«41»
- FormalConjectures.OEIS.«63880»
- FormalConjectures.OEIS.«67720»
- FormalConjectures.OEIS.«80170»
- FormalConjectures.OpenQuantumProblems.«23»
- FormalConjectures.Paper.MonochromaticQuantumGraph
- FormalConjectures.Wikipedia.Buchi
- FormalConjectures.Wikipedia.ClassNumberProblem
- FormalConjectures.Wikipedia.DiameterSimpleFiniteGroups
- FormalConjectures.Wikipedia.EllipticCurveRank
- FormalConjectures.Wikipedia.EulerBrick
- FormalConjectures.Wikipedia.Gilbreath
- FormalConjectures.Wikipedia.Grimm
- FormalConjectures.Wikipedia.Irrational
- FormalConjectures.Wikipedia.Koethe
- FormalConjectures.Wikipedia.LittlewoodConjecture
- FormalConjectures.Wikipedia.LychrelNumbers
- FormalConjectures.Wikipedia.Mandelbrot
- FormalConjectures.Wikipedia.Pell
- FormalConjectures.Wikipedia.RamseyNumbers
- FormalConjectures.Wikipedia.RiemannZetaValues
- FormalConjectures.Wikipedia.Selfridge
- FormalConjectures.Wikipedia.SumOfThreeCubes
- FormalConjectures.Wikipedia.Superperfectnumbers
- FormalConjectures.Wikipedia.Transcendental
- FormalConjectures.Wikipedia.UnionClosed
- FormalConjectures.WrittenOnTheWallII.GraphConjecture316
- FormalConjectures.WrittenOnTheWallII.GraphConjecture327
- def
Subsets.FC100OpenSet1.problemsline 123 sourceno axioms what this means
Statement uses:
List,Lean.NameProof uses:
List.cons,Lean.Name.mkStr2,Lean.Name.mkStr4,List.nil,Lean.Name.mkStr3,Lean.Name.mkStr5