New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

IMO 2003 P6 #36

Merged

dwrensha merged 1 commit into dwrensha:main from WLZPro:Imo2003P6

Jul 5, 2024

Contributor

WLZPro commented Jul 5, 2024

No description provided.


          [Imo2003P6] Add proof

fbb15f1

dwrensha merged commit 8419416 into dwrensha:main

1 check passed

Owner

dwrensha commented Jul 5, 2024

Thanks! I moved a commend and the open Finset into the proof body in 62085b1, so that they don't show up in the generated web page https://dwrensha.github.io/compfiles/problems/Compfiles.Imo2003P6.html.

WLZPro deleted the Imo2003P6 branch

July 5, 2024 14:25

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet