Longhui98
/

metamath_maj2

Model card Files Files and versions

1.52 kB

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

Longhui98's picture

initial commit

0b5fc03 verified about 2 years ago

.gitattributes

1.52 kB
initial commit about 2 years ago