Colder203
/

phi_metamath_None_8_None_False

Model card Files Files and versions

phi_metamath_None_8_None_False

Commit History

initial commit

309c14f
verified

Colder203 commited on Dec 26, 2024