Slim205
/

Lean_prover_v1

Model card Files Files and versions

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

Slim205's picture

initial commit

a1fb64b verified 16 days ago

.gitattributes

1.52 kB

initial commit 16 days ago