facebookresearch/miniF2F
An updated version of miniF2F with lots of fixes and informal statements / solutions.
Is facebookresearch/miniF2F beginner-friendly?
We have not seen enough recent pull requests from outside contributors to facebookresearch/miniF2F to say how often they are merged. No beginner-friendly issue is open right now; the list below has the other issues we hold for it.
- Stars
- 106
- Forks
- 20
- Open beginner issues
- 0
- Indexed issues
- 8
- Dominant language
- Objective-C++
- License
- MIT
- Last GitHub push
- Jan 4, 2025
- Latest indexed
- Sep 15, 2026
- Contributing guide
- Contributing guide
- Code of conduct
- Code of conduct
- Beginner labels
- No beginner labels indexed
- PR merge metrics
- No merged PRs in 30d
How to contribute to facebookresearch/miniF2F
- Read the contributing guide first: it says how the maintainers want changes proposed, tested and reviewed.
- Read its code of conduct: it covers issues and pull requests as well as chat.
- Your contributions will be published under the project's MIT license.
- Follow the repository to hear when a new beginner-friendly issue opens, or look through the other issues below.
Issues somebody may already be working on are listed last. List everything by date
-
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 ·
-
Difficulty 5/5 Over a week Newbie friendliness 25/100
facebookresearch/miniF2F#10 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 25/100
facebookresearch/miniF2F#9 · 6 comments ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 25/100
facebookresearch/miniF2F#7 · 1 comment ·