forked from leanprover-community/mathlib4
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathArchive.lean
More file actions
88 lines (87 loc) · 3.51 KB
/
Copy pathArchive.lean
File metadata and controls
88 lines (87 loc) · 3.51 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
module -- shake: keep-all --deprecated_module: ignore
public import Archive.Arithcc
public import Archive.Examples.Eisenstein
public import Archive.Examples.IfNormalization.Result
public import Archive.Examples.IfNormalization.Statement
public import Archive.Examples.IfNormalization.WithoutAesop
public import Archive.Examples.Kuratowski
public import Archive.Examples.MersennePrimes
public import Archive.Examples.PropEncodable
public import Archive.Hairer
public import Archive.Imo.Imo1959Q1
public import Archive.Imo.Imo1959Q2
public import Archive.Imo.Imo1960Q1
public import Archive.Imo.Imo1960Q2
public import Archive.Imo.Imo1961Q3
public import Archive.Imo.Imo1962Q1
public import Archive.Imo.Imo1962Q4
public import Archive.Imo.Imo1963Q5
public import Archive.Imo.Imo1964Q1
public import Archive.Imo.Imo1969Q1
public import Archive.Imo.Imo1972Q5
public import Archive.Imo.Imo1975Q1
public import Archive.Imo.Imo1977Q6
public import Archive.Imo.Imo1981Q3
public import Archive.Imo.Imo1982Q1
public import Archive.Imo.Imo1982Q3
public import Archive.Imo.Imo1985Q2
public import Archive.Imo.Imo1986Q5
public import Archive.Imo.Imo1987Q1
public import Archive.Imo.Imo1988Q6
public import Archive.Imo.Imo1994Q1
public import Archive.Imo.Imo1997Q3
public import Archive.Imo.Imo1998Q2
public import Archive.Imo.Imo2000Q2
public import Archive.Imo.Imo2001Q2
public import Archive.Imo.Imo2001Q3
public import Archive.Imo.Imo2001Q4
public import Archive.Imo.Imo2001Q5
public import Archive.Imo.Imo2001Q6
public import Archive.Imo.Imo2002Q3
public import Archive.Imo.Imo2005Q3
public import Archive.Imo.Imo2005Q4
public import Archive.Imo.Imo2006Q3
public import Archive.Imo.Imo2006Q5
public import Archive.Imo.Imo2008Q2
public import Archive.Imo.Imo2008Q3
public import Archive.Imo.Imo2008Q4
public import Archive.Imo.Imo2010Q5
public import Archive.Imo.Imo2011Q3
public import Archive.Imo.Imo2011Q5
public import Archive.Imo.Imo2013Q1
public import Archive.Imo.Imo2013Q5
public import Archive.Imo.Imo2015Q6
public import Archive.Imo.Imo2019Q1
public import Archive.Imo.Imo2019Q2
public import Archive.Imo.Imo2019Q4
public import Archive.Imo.Imo2020Q2
public import Archive.Imo.Imo2021Q1
public import Archive.Imo.Imo2024Q1
public import Archive.Imo.Imo2024Q2
public import Archive.Imo.Imo2024Q3
public import Archive.Imo.Imo2024Q5
public import Archive.Imo.Imo2024Q6
public import Archive.Imo.Imo2025Q3
public import Archive.Kuratowski
public import Archive.MinimalSheffer
public import Archive.MiuLanguage.Basic
public import Archive.MiuLanguage.DecisionNec
public import Archive.MiuLanguage.DecisionSuf
public import Archive.OxfordInvariants.Summer2021.Week3P1
public import Archive.RiemannStieltjes
public import Archive.Sensitivity
public import Archive.Wiedijk100Theorems.AbelRuffini
public import Archive.Wiedijk100Theorems.AreaOfACircle
public import Archive.Wiedijk100Theorems.AscendingDescendingSequences
public import Archive.Wiedijk100Theorems.BallotProblem
public import Archive.Wiedijk100Theorems.BirthdayProblem
public import Archive.Wiedijk100Theorems.BuffonsNeedle
public import Archive.Wiedijk100Theorems.CubingACube
public import Archive.Wiedijk100Theorems.FriendshipGraphs
public import Archive.Wiedijk100Theorems.HeronsFormula
public import Archive.Wiedijk100Theorems.InverseTriangleSum
public import Archive.Wiedijk100Theorems.Konigsberg
public import Archive.Wiedijk100Theorems.PerfectNumbers
public import Archive.Wiedijk100Theorems.SolutionOfCubicQuartic
public import Archive.Wiedijk100Theorems.SumOfPrimeReciprocalsDiverges
public import Archive.ZagierTwoSquares