issues
search
albertqjiang
/
miniF2F
An updated version of miniF2F with problems fixed
0
stars
0
forks
source link
[Lean Metamath HOL Light Fix] Mathd_algebra_421 & Proof Mathd algebra 451
#41
Closed
DyeKuu
closed
2 years ago