Colder203
/
phi_metamath_None_64_None_False
like
0
Model card
Files
Files and versions
xet
Metrics
Training metrics
Community
