issues
search
albertqjiang
/
miniF2F
An updated version of miniF2F with problems fixed
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[Lean Metamath HOL Light Fix]
#50
DyeKuu
closed
2 years ago
0
[Metamath Fix] numbertheory_notequiv2i2jasqbsqdiv8
#49
DyeKuu
closed
2 years ago
0
[Metamath Fix] aime_1996_p5
#48
DyeKuu
closed
2 years ago
0
[Lean] update README
#47
DyeKuu
closed
2 years ago
0
[Metamath Fix] aime_1987_p8
#46
DyeKuu
closed
2 years ago
0
[Lean] lint & format
#45
DyeKuu
closed
2 years ago
0
[Lean Metamath Fix] imo_1966_p5
#44
DyeKuu
closed
2 years ago
0
[Lean Metamath HOL Light Fix] Amc12a 2021 p12
#43
DyeKuu
closed
2 years ago
0
[Lean Metamath HOL Light Fix] mathd_numbertheory_155
#42
DyeKuu
closed
2 years ago
0
[Lean Metamath HOL Light Fix] Mathd_algebra_421 & Proof Mathd algebra 451
#41
DyeKuu
closed
2 years ago
0
[Lean Metamath HOL Light Fix] mathd_algebra_421
#40
DyeKuu
closed
2 years ago
0
[Lean Metamath HOL Light Fix] mathd_algebra_77
#39
DyeKuu
closed
2 years ago
0
[Lean Fix] imo_1978_p5
#38
DyeKuu
closed
2 years ago
0
[Lean Metamath Fix] imo_1974_p5
#37
DyeKuu
closed
2 years ago
0
[Lean Metamath Fix] imo_1962_p4
#36
DyeKuu
closed
2 years ago
0
[Lean Metamath Isabelle Fix] amc12a_2020_p21 -> amc12a_2020_p22
#35
DyeKuu
closed
2 years ago
0
[Lean Metamath Fix] amc12a_2011_p18
#34
DyeKuu
closed
2 years ago
0
[Lean Proof] amc12a_2010_p10
#33
DyeKuu
closed
2 years ago
0
[Lean Fix] imo_1974_p3 & amc12b_2021_p4
#32
DyeKuu
closed
2 years ago
2
[Lean Metamath Isabelle Fix] imo_2019_p1 & Rename HOL Light file
#31
DyeKuu
closed
2 years ago
0
[Metamath HOL Light Fix][Lean Proof] mathd_algebra_17
#30
DyeKuu
closed
2 years ago
1
fix mathd_algebra_17: adding the assumption 1 + a > 0
#29
Wenda302
closed
2 years ago
0
[Lean Metamath HOL Light Fix] mathd_algebra_276 & Lean Proof
#28
DyeKuu
closed
2 years ago
0
[Lean Metamath HOL Light Fix] mathd_algebra_288
#27
DyeKuu
closed
2 years ago
0
[Isabelle Fix] mathd_algebra_293 & Lean proof
#26
DyeKuu
closed
2 years ago
0
[Lean Metamath Isabelle HOL Light Fix] mathd_algebra_320
#25
DyeKuu
closed
2 years ago
0
[Lean Metamath Isabelle HOL Light Fix] Mathd algebra 332 & Lean proof
#24
DyeKuu
closed
2 years ago
0
[Lean] proof mathd_algebra_452
#23
DyeKuu
closed
2 years ago
0
[Lean Metamath HOL Light Fix] Mathd algebra 487
#22
DyeKuu
closed
2 years ago
0
[Lean Isabelle Fix] mathd_numbertheory_728 & Proof in Lean
#21
DyeKuu
closed
2 years ago
0
[Lean ]Fix & Proof numbertheory_notequiv2i2jasqbsqdiv8
#20
DyeKuu
closed
2 years ago
3
[Lean, Metamath Fix] amc12a_2019_p12
#19
DyeKuu
closed
2 years ago
0
[Lean Fix] imo_1965_p2
#18
DyeKuu
closed
2 years ago
0
[Lean, Metamath Fix] amc12_2000_p1
#17
DyeKuu
closed
2 years ago
0
[Lean, Metamath Fix] aime_1999_p11
#16
DyeKuu
closed
2 years ago
0
[Lean Fix] amc12a_2002_p12
#15
DyeKuu
closed
2 years ago
0
[Metamath fix] aimeI_2001_p3 -> aimeII_2001_p3
#14
DyeKuu
closed
2 years ago
0
[Lean, Metamath Fix] aime_1997_p12 -> aime_1997_p11
#13
DyeKuu
closed
2 years ago
0
[HOL Light Tracking] Error List
#12
DyeKuu
opened
2 years ago
0
[Metamath Tracking] Error List
#11
DyeKuu
opened
2 years ago
0
[Lean Fix] aime_1996_p5
#10
DyeKuu
closed
2 years ago
0
[Lean Fix] aime_1987_p8
#9
DyeKuu
closed
2 years ago
0
Fix isabelle
#8
albertqjiang
closed
2 years ago
0
[Lean Tracking] errors in problems
#7
albertqjiang
opened
2 years ago
6
merge
#6
albertqjiang
closed
2 years ago
0
fixes for Yutaka and Daniel's follow-up reports
#5
albertqjiang
closed
2 years ago
0
Fix isabelle
#4
albertqjiang
closed
2 years ago
0
Some other issues reported by Yutaka Nagashima and Daniel Sebastian
#3
Wenda302
opened
2 years ago
19
Fix isabelle
#2
albertqjiang
closed
2 years ago
0
fixed 17 Isabelle cases
#1
albertqjiang
closed
2 years ago
0
Next