Colder203
/

phi_metamath_None_8_None_True

Model card Files Files and versions

phi_metamath_None_8_None_True

Commit History

initial commit

e10a005
verified

Colder203 commited on Dec 26, 2024