rocq's Profile | Docker Hub

ctrl+K

Contact support

Sign in Sign up

Contact support

The Rocq Prover

Sponsored OSS

Community Organization

France

https://rocq-prover.org/⁠

Displaying 1 to 2 of 2 repositories

rocq/rocq-prover

5.8K

Updated 6 hours ago

Docker images of the Rocq Prover

Languages & Frameworks

Integration & Delivery

Pulls:

1,680

Last week

755

Updated a month ago

Parent image for Docker images of the Rocq Prover

Languages & Frameworks

Integration & Delivery

Pulls:

103

Last week

Why

Overview What is a Container

Products

Product Overview

Product Offerings

Docker Desktop Docker Hub

Features

Container Runtime Developer Tools Docker App Kubernetes

Developers

Getting Started Play with Docker Community Open Source Documentation

Company

About Us Resources Blog Customers Partners Newsroom Events and Webinars Careers Contact Us System Status⁠

© 2025 Docker, Inc. All rights reserved. | Terms of Service | Subscription Service Agreement | Privacy | Legal

System theme
Light theme
Dark theme

System theme
Light theme
Dark theme

Explore and manage your Docker experience.

Docker Admin Console

Manage users, control access, & set policies.

Find and share images with your team.

Secure your supply chain at every level.

Local development, simplified.

Docker Build Cloud

Speed up your builds.

Testcontainers Cloud

Run integration tests with real dependencies.