Longhui98
/

metamath_maj

Model card Files Files and versions

1.52 kB

1 contributor

History: 1 commit

Longhui98's picture

initial commit

d03b4c7 verified almost 2 years ago

.gitattributes

1.52 kB

initial commit almost 2 years ago