issues
search
facebookresearch
/
miniF2F
An updated version of miniF2F with lots of fixes and informal statements / solutions.
MIT License
58
stars
17
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Migrate to Lean 4
#16
fzyzcjy
opened
11 months ago
0
Fixing Validation Port
#15
rah4927
closed
1 year ago
1
Support for Coq
#14
amit9oct
opened
1 year ago
1
33 New Proofs Found by Machines
#13
yangky11
opened
1 year ago
5
`imo_2001_p6` is said to be buggy in HTPS paper
#12
fzyzcjy
opened
1 year ago
2
Merge curriculum learning dataset into this repo main branch?
#11
fzyzcjy
opened
1 year ago
0
Contributing automatically found proofs mentioned in Facebook's HTPS paper to this repository
#10
fzyzcjy
opened
1 year ago
0
Are lean proofs manually written or automatically found?
#9
fzyzcjy
opened
1 year ago
6
[Fix Naming] IMO 2006 p3 -> p6
#8
DyeKuu
closed
1 year ago
3
Naming issue for IMO_2006_p6
#7
albertqjiang
opened
1 year ago
1
fix amc12a_2011_p18
#6
Huyongyi-cpu
closed
1 year ago
2
Wrong informal statement
#5
Huyongyi-cpu
closed
1 year ago
1
Update imo_2001_p6.thy
#4
albertqjiang
closed
1 year ago
0
Adding Code of Conduct file
#3
facebook-github-bot
closed
1 year ago
0
Adding Contributing file
#2
facebook-github-bot
closed
1 year ago
0
minor
#1
glample
closed
1 year ago
0