tomaszki
/
phi-metamath
Like
0
Model card
Files
Files and versions
xet
Metrics
Training metrics
Community
