albertqjiang / miniF2F

An updated version of miniF2F with problems fixed
0 stars 0 forks source link

[Lean Metamath Isabelle Fix] amc12a_2020_p21 -> amc12a_2020_p22 #35

Closed DyeKuu closed 2 years ago

DyeKuu commented 2 years ago

Note:

Rename & fix.