search

albertqjiang / miniF2F

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

[Metamath Fix] numbertheory_notequiv2i2jasqbsqdiv8 #49

Closed DyeKuu closed 2 years ago

DyeKuu commented 2 years ago

Note:

Caveat: didn't check the parsing.