Models
Datasets
Spaces
Docs
Enterprise
Pricing
Log In
Sign Up

Spaces:

lzumot
/

lean-prover-validator

Running

App Files Files Community

Fetching metadata from the HF Docker repository...

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