Slim205
/

Lean_prover_v1

Model card Files Files and versions

Ctrl+K

Ctrl+K

1 contributor

History: 10 commits

Slim205's picture

Update README.md

0e11700 verified 10 days ago