Skip to content

Commit d254056

Browse files
KomyyyKomyyy
committed
feat: port Archive.Sensitivity (leanprover-community#5322)
1 parent 5f4d5df commit d254056

File tree

2 files changed

+483
-0
lines changed

2 files changed

+483
-0
lines changed

‎Archive.lean‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -25,6 +25,7 @@ import Archive.Imo.Imo2019Q1
2525
import Archive.Imo.Imo2019Q4
2626
import Archive.Imo.Imo2020Q2
2727
import Archive.Imo.Imo2021Q1
28+
import Archive.Sensitivity
2829
import Archive.Wiedijk100Theorems.AreaOfACircle
2930
import Archive.Wiedijk100Theorems.AscendingDescendingSequences
3031
import Archive.Wiedijk100Theorems.BallotProblem

0 commit comments

Comments
 (0)