facebookresearch/miniF2F
View on GitHubAn updated version of miniF2F with lots of fixes and informal statements / solutions.
- Stars
- 105
- 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
-
facebookresearch/miniF2F#7 · 1 comment · 0 reactions · 0 assignees ·
-
facebookresearch/miniF2F#9 · 6 comments · 0 reactions · 0 assignees ·
-
facebookresearch/miniF2F#10 · 0 comments · 0 reactions · 0 assignees ·
-
facebookresearch/miniF2F#11 · 0 comments · 0 reactions · 0 assignees ·
-
facebookresearch/miniF2F#12 · 2 comments · 0 reactions · 0 assignees ·
-
Support for Coq Open
facebookresearch/miniF2F#14 · 1 comment · 0 reactions · 0 assignees ·
-
Migrate to Lean 4 Open
facebookresearch/miniF2F#16 · 2 comments · 0 reactions · 0 assignees ·
-
facebookresearch/miniF2F#19 · 0 comments · 0 reactions · 0 assignees ·