facebookresearch / facebookresearch/miniF2F
Naming issue for IMO_2006_p6
Open
- Dominant language
- Objective-C++
- Stars
- 105
- Forks
- 20
- PR merge metrics
- No merged PRs in 30d
Description
https://github.com/facebookresearch/miniF2F/blob/5271ddec788677c815cf818a06f368ef6498a106/isabelle/valid/imo_2006_p6.thy
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.
Contributor guide
Assessment
This issue has not been assessed yet.