Models
Datasets
Spaces
Buckets new
Docs
Enterprise
Pricing
- Website
- Community
- Solutions
Log In
Sign Up

Spaces:

lzumot
/

lean-prover-validator

Sleeping

App Files Files Community

Fetching metadata from the HF Docker repository...

lean-prover-validator

10.7 kB

Ctrl+K

Ctrl+K

1 contributor

History: 22 commits

LamZain

2026-01-27

61d4c6d 4 months ago

.gitattributes

1.52 kB
initial commit 4 months ago
Dockerfile

1.13 kB
2026-01-26 test1 4 months ago
README.md

289 Bytes
initial commit 4 months ago
app.py

7.7 kB
2026-01-27 4 months ago
requirements.txt

51 Bytes
2026-01-26 test1 4 months ago