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

Spaces:

theostos
/

Rocq-server

Sleeping

App Files Files Community

Fetching metadata from the HF Docker repository...

Ctrl+K

Ctrl+K

1 contributor

History: 6 commits

theostos's picture

Update mathcomp path

110315e 8 months ago

docker_build
build docker image externally 8 months ago
.gitattributes

1.52 kB
initial commit 8 months ago
Dockerfile

194 Bytes
Update port dockerfile 8 months ago
README.md

227 Bytes
initial commit 8 months ago
app.py

1.97 kB
Update mathcomp path 8 months ago