m0-metamath-lr-e3 / config.json

Commit History

Backup copy
81f0e09

HelenZzz commited on