Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Spaces:
lzumot
/
lean-prover-validator
like
1
Running
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
main
lean-prover-validator
10.7 kB
1 contributor
History:
22 commits
LamZain
2026-01-27
61d4c6d
5 days ago
.gitattributes
1.52 kB
initial commit
6 days ago
Dockerfile
1.13 kB
2026-01-26 test1
6 days ago
README.md
289 Bytes
initial commit
6 days ago
app.py
7.7 kB
2026-01-27
5 days ago
requirements.txt
51 Bytes
2026-01-26 test1
6 days ago