FormalConjectures/Subsets/FC100SolvedSet1.lean
1 declarations, 0 contain sorry, 0 declared as axioms
FC100SolvedSet1
A random subset of 100 non-open problems, drawn uniformly at random
from all problems without the category research open tag
(solved, test, API, etc.).
Imports (83)
- FormalConjecturesUtil.DeclName
- FormalConjecturesUtil
- FormalConjectures.Arxiv.«1308.0994».BoxdotConjecture
- FormalConjectures.Arxiv.«1609.08688».sIncreasingrTuples
- FormalConjectures.Arxiv.«2602.05192».FirstProof4
- FormalConjectures.ErdosProblems.«1038»
- FormalConjectures.ErdosProblems.«1052»
- FormalConjectures.ErdosProblems.«1054»
- FormalConjectures.ErdosProblems.«1063»
- FormalConjectures.ErdosProblems.«1067»
- FormalConjectures.ErdosProblems.«1074»
- FormalConjectures.ErdosProblems.«1142»
- FormalConjectures.ErdosProblems.«12»
- FormalConjectures.ErdosProblems.«141»
- FormalConjectures.ErdosProblems.«17»
- FormalConjectures.ErdosProblems.«198»
- FormalConjectures.ErdosProblems.«263»
- FormalConjectures.ErdosProblems.«26»
- FormalConjectures.ErdosProblems.«295»
- FormalConjectures.ErdosProblems.«317»
- FormalConjectures.ErdosProblems.«349»
- FormalConjectures.ErdosProblems.«350»
- FormalConjectures.ErdosProblems.«36»
- FormalConjectures.ErdosProblems.«392»
- FormalConjectures.ErdosProblems.«399»
- FormalConjectures.ErdosProblems.«41»
- FormalConjectures.ErdosProblems.«42»
- FormalConjectures.ErdosProblems.«442»
- FormalConjectures.ErdosProblems.«457»
- FormalConjectures.ErdosProblems.«494»
- FormalConjectures.ErdosProblems.«503»
- FormalConjectures.ErdosProblems.«50»
- FormalConjectures.ErdosProblems.«513»
- FormalConjectures.ErdosProblems.«56»
- FormalConjectures.ErdosProblems.«590»
- FormalConjectures.ErdosProblems.«617»
- FormalConjectures.ErdosProblems.«61»
- FormalConjectures.ErdosProblems.«678»
- FormalConjectures.ErdosProblems.«686»
- FormalConjectures.ErdosProblems.«697»
- FormalConjectures.ErdosProblems.«835»
- FormalConjectures.ErdosProblems.«865»
- FormalConjectures.ErdosProblems.«886»
- FormalConjectures.ErdosProblems.«920»
- FormalConjectures.ErdosProblems.«951»
- FormalConjectures.ErdosProblems.«965»
- FormalConjectures.ErdosProblems.«968»
- FormalConjectures.ErdosProblems.«985»
- FormalConjectures.GreensOpenProblems.«14»
- FormalConjectures.GreensOpenProblems.«29»
- FormalConjectures.GreensOpenProblems.«32»
- FormalConjectures.Mathoverflow.«10799»
- FormalConjectures.Mathoverflow.«75792»
- FormalConjectures.OEIS.«228828»
- FormalConjectures.OEIS.«231201»
- FormalConjectures.OEIS.«232174»
- FormalConjectures.OEIS.«280831»
- FormalConjectures.OEIS.«56777»
- FormalConjectures.OEIS.«63880»
- FormalConjectures.OEIS.«6697»
- FormalConjectures.OEIS.«67720»
- FormalConjectures.OpenQuantumProblems.«13»
- FormalConjectures.OpenQuantumProblems.«23»
- FormalConjectures.OpenQuantumProblems.«35»
- FormalConjectures.Paper.DegreeSequencesTriangleFree
- FormalConjectures.Paper.Gourevitch
- FormalConjectures.Paper.MonochromaticQuantumGraph
- FormalConjectures.Wikipedia.AgohGiuga
- FormalConjectures.Wikipedia.BealConjecture
- FormalConjectures.Wikipedia.BusyBeaver
- FormalConjectures.Wikipedia.CongruentNumber
- FormalConjectures.Wikipedia.Hadamard
- FormalConjectures.Wikipedia.InverseGalois
- FormalConjectures.Wikipedia.Kaplansky
- FormalConjectures.Wikipedia.LychrelNumbers
- FormalConjectures.Wikipedia.Mahler32
- FormalConjectures.Wikipedia.Pell
- FormalConjectures.Wikipedia.RamanujanTau
- FormalConjectures.Wikipedia.RiemannZetaValues
- FormalConjectures.WrittenOnTheWallII.GraphConjecture13
- FormalConjectures.WrittenOnTheWallII.GraphConjecture16
- FormalConjectures.WrittenOnTheWallII.GraphConjecture33
- FormalConjectures.WrittenOnTheWallII.Test
- def
Subsets.FC100SolvedSet1.problemsline 117 sourceno axioms what this means
Statement uses:
List,Lean.NameProof uses:
List.cons,Lean.Name.mkStr4,Lean.Name.mkStr2,List.nil,Lean.Name.mkStr3