search

albertqjiang / miniF2F

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

[Lean Metamath Fix] imo_1962_p4 #36

Closed DyeKuu closed 2 years ago