phi-metamath-1.1 / README.md

Commit History

End of training
5b0550a

tomaszki commited on