Skip to content

Commit da5c1dc

Browse files
theebayusertheebayuser
committed
feat(Compfiles): add USAMO 2026 P1
1 parent 84c8e42 commit da5c1dc

2 files changed

Lines changed: 440 additions & 0 deletions

File tree

‎Compfiles.lean‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -302,4 +302,5 @@ import Compfiles.Usa2023P2
302302
import Compfiles.Usa2023P4
303303
import Compfiles.Usa2023P5
304304
import Compfiles.Usa2024P2
305+
import Compfiles.Usa2026P1
305306
import Compfiles.ZeroesOnesAndTwos

0 commit comments

Comments
 (0)