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 23 days ago

docker_build
build docker image externally 23 days ago
.gitattributes

1.52 kB

initial commit 23 days ago
Dockerfile

194 Bytes

Update port dockerfile 23 days ago
README.md

227 Bytes

initial commit 23 days ago
app.py

1.97 kB

Update mathcomp path 23 days ago