Skip to content

Commit f28d136

Browse files
dwrenshajsm28grunwegqawbecrdtey
committed
feat(Archive/Imo): IMO 2024 Q3 (#19671)
Add a formalization of IMO 2024 problem 3. Co-authored-by: Joseph Myers <jsm@polyomino.org.uk> Co-authored-by: Michael Rothgang <rothgang@math.uni-bonn.de> Co-authored-by: qawbecrdtey <qawbecrdtey@naver.com>
1 parent 866657b commit f28d136

2 files changed

Lines changed: 962 additions & 0 deletions

File tree

‎Archive.lean‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -46,6 +46,7 @@ import Archive.Imo.Imo2020Q2
4646
import Archive.Imo.Imo2021Q1
4747
import Archive.Imo.Imo2024Q1
4848
import Archive.Imo.Imo2024Q2
49+
import Archive.Imo.Imo2024Q3
4950
import Archive.Imo.Imo2024Q5
5051
import Archive.Imo.Imo2024Q6
5152
import Archive.MiuLanguage.Basic

0 commit comments

Comments
 (0)