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
30 lines (30 loc) · 1 KB
/
Archive.lean
File metadata and controls
30 lines (30 loc) · 1 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
import Archive.Examples.PropEncodable
import Archive.Imo.Imo1960Q1
import Archive.Imo.Imo1962Q1
import Archive.Imo.Imo1962Q4
import Archive.Imo.Imo1964Q1
import Archive.Imo.Imo1969Q1
import Archive.Imo.Imo1972Q5
import Archive.Imo.Imo1975Q1
import Archive.Imo.Imo1977Q6
import Archive.Imo.Imo1981Q3
import Archive.Imo.Imo1994Q1
import Archive.Imo.Imo2001Q2
import Archive.Imo.Imo2001Q6
import Archive.Imo.Imo2005Q3
import Archive.Imo.Imo2006Q3
import Archive.Imo.Imo2006Q5
import Archive.Imo.Imo2008Q4
import Archive.Imo.Imo2011Q3
import Archive.Imo.Imo2011Q5
import Archive.Imo.Imo2013Q1
import Archive.Imo.Imo2019Q1
import Archive.Imo.Imo2019Q4
import Archive.Imo.Imo2020Q2
import Archive.Wiedijk100Theorems.AreaOfACircle
import Archive.Wiedijk100Theorems.HeronsFormula
import Archive.Wiedijk100Theorems.InverseTriangleSum
import Archive.Wiedijk100Theorems.Konigsberg
import Archive.Wiedijk100Theorems.Partition
import Archive.Wiedijk100Theorems.PerfectNumbers
import Archive.Wiedijk100Theorems.SumOfPrimeReciprocalsDiverges