Hugging Face's logo

Spaces:
theostos
/
Rocq-server
Sleeping

App Files Community
Rocq-server

Commit History

Update mathcomp path
110315e

theostos commited on

Update port dockerfile
5eb1b21

theostos commited on

Add some routes
a31226e

theostos commited on

build docker image externally
ae89f64

theostos commited on

Initial commit
5eea309

theostos commited on

initial commit
3f2dbe2
verified

theostos commited on