Models
Datasets
Spaces
Docs
Enterprise
Pricing
Log In
Sign Up

Slim205
/

Lean_prover_v1

Model card Files Files and versions

Commit History

initial commit

a1fb64b
verified

Slim205 commited on 17 days ago