Skip to content

added 3 usamo problems#216

Closed
theebayuser wants to merge 4 commits into
dwrensha:mainfrom
theebayuser:add-usamo-problems
Closed

added 3 usamo problems#216
theebayuser wants to merge 4 commits into
dwrensha:mainfrom
theebayuser:add-usamo-problems

Conversation

@theebayuser

Copy link
Copy Markdown
Contributor

No description provided.

@dwrensha

Copy link
Copy Markdown
Owner

You'll need to run ./scripts/mk_toplevel_file.bash so that the top level Compfiles.lean file gets updated.

@theebayuser theebayuser deleted the add-usamo-problems branch June 22, 2026 05:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants