Slim205
/

Lean_prover_v1

Model card Files Files and versions

27.6 GB

1 contributor

History: 10 commits

Slim205's picture

Update README.md

0e11700 verified 4 months ago