Longhui98
/

metamath_maj

Model card Files Files and versions Community

1 contributor

History: 1 commit

Longhui98's picture

initial commit

d03b4c7 verified 10 months ago

.gitattributes

1.52 kB

initial commit 10 months ago