Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Spaces:
theostos
/
Rocq-server
like
0
Sleeping
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
main
Rocq-server
Commit History
Update mathcomp path
110315e
theostos
commited on
Oct 14, 2025
Update port dockerfile
5eb1b21
theostos
commited on
Oct 14, 2025
Add some routes
a31226e
theostos
commited on
Oct 14, 2025
build docker image externally
ae89f64
theostos
commited on
Oct 14, 2025
Initial commit
5eea309
theostos
commited on
Oct 14, 2025
initial commit
3f2dbe2
verified
theostos
commited on
Oct 14, 2025
