Models
Datasets
Spaces
Posts
Docs
Pricing
Log In
Sign Up

Spaces:

Yiyaozz
/

leanProver0.1

No application file

App Files Files Community

leanProver0.1 / README.md

Commit History

initial commit

ad010b9

Yiyaozz commited on Dec 7, 2023