Longhui98
/

metamath_maj

Model card Files Files and versions

1.52 kB

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

Longhui98's picture

initial commit

d03b4c7 verified about 2 years ago

.gitattributes

1.52 kB
initial commit about 2 years ago