[Lean Metamath HOL Light Fix] - Githubissues

albertqjiang / miniF2F

An updated version of miniF2F with problems fixed

0 stars 0 forks source link

[Lean Metamath HOL Light Fix] #50

Closed DyeKuu closed 2 years ago

DyeKuu commented 2 years ago

amc12_2000_p1
rename to imosl-2007-algebra-p6
numbertheory-notequiv2i2jasqbsqdiv8