Models
Datasets
Spaces
Docs
Enterprise
Pricing
Log In
Sign Up

Spaces:

theostos
/

Rocq-server

Sleeping

App Files Files Community

Fetching metadata from the HF Docker repository...

4.98 kB

1 contributor

History: 6 commits

theostos's picture

Update mathcomp path

110315e about 1 month ago

docker_build
build docker image externally about 1 month ago
.gitattributes

1.52 kB

initial commit about 1 month ago
Dockerfile

194 Bytes

Update port dockerfile about 1 month ago
README.md

227 Bytes

initial commit about 1 month ago
app.py

1.97 kB

Update mathcomp path about 1 month ago