Naming issue for IMO_2006_p6
Nobody has claimed this yet.
Assessment
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Newbie friendliness
- 25/100
- Issue type
- Bug
- Clarity
- Mostly clear
- Activity status
- Stale
- Domain
- tooling
Research direction
Start with isabelle/valid/imo_2006_p6.thy and compare its formalization with the linked IMO 2006 Problem 3 description. Done means the file name accurately identifies the formalized problem rather than IMO_2006_p6.
Written by the indexing model from the issue text.
Description
This looks like a formalization of this question (IMO_2006_p3) instead: https://artofproblemsolving.com/wiki/index.php/2006_IMO_Problems/Problem_3.
Raised by Eric Wieser on Zulip.
- Dominant language
- Objective-C++
- Stars
- 108
- Forks
- 20
- PR merge metrics
- No merged PRs in 30d
Getting set up
- No Dockerfile or Docker Compose file
- No pull request template
- Read the contributing guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from facebookresearch/miniF2F
-
Difficulty 1/5 Under an hour Newbie friendliness 55/100
facebookresearch/miniF2F#19 ·
-
Migrate to Lean 4Open
Difficulty 5/5 Over a week Newbie friendliness 25/100
facebookresearch/miniF2F#16 · 2 comments ·
-
Support for CoqOpen
Difficulty 5/5 Over a week Newbie friendliness 18/100
facebookresearch/miniF2F#14 · 1 comment ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 30/100
facebookresearch/miniF2F#12 · 2 comments ·
-
Difficulty 4/5 3-5 days Newbie friendliness 25/100
facebookresearch/miniF2F#11 ·
All issues in facebookresearch/miniF2F
Similar issues
-
area:scripts area:tests bug priority:later
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
Ikalus1988/MisakaNet#4358 ·
Maintainers usually reply within 1 day
-
weekly-report.sh: REPORT_PY defaults to a non-portable $HOME/workspaces pathPossibly taken @rubambiza claimed this today. Open
Difficulty 2/5 1-3 hours Newbie friendliness 80/100
rossoctl/automation#126 ·
Maintainers usually reply within 3 days
-
Difficulty 2/5 1-3 hours Newbie friendliness 62/100
supermomonga/paseo-plugin-zcode-provider#83 · 1 comment ·
Maintainers usually reply within 1 day
-
enhancement good first issue
Difficulty 2/5 1-3 hours Newbie friendliness 75/100
smswithoutborders/RelaySMS-Publisher#218 ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 78/100