Spaces:

Yiyaozz
/

Lean0.1

Paused

App Files Files Community

Lean0.1 / README.md

Commit History

Update README.md

1fb3cf1

Yiyaozz commited on Dec 7, 2023

initial commit

67e8ed1

Yiyaozz commited on Dec 7, 2023