mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(archive/imo): add 2014 Q1

Open AdrianDoM opened this issue 4 years ago • 3 comments

Solution to IMO 2014 question 1.

Open in Gitpod

AdrianDoM avatar Mar 29 '21 21:03 AdrianDoM

For future reference: If you go to the "Files changed" tab you can queue all the changes you would like to accept so that they only show up as one commit.

Julian-Kuelshammer avatar Mar 30 '21 10:03 Julian-Kuelshammer

There's still an unprocessed comment.

jcommelin avatar Apr 06 '21 12:04 jcommelin

Since the original author seems to have abandoned this PR, I'm willing to take over.

vihdzp avatar Dec 09 '21 18:12 vihdzp