Sign inSign up
rocq

The Rocq Prover

Sponsored OSS

Community Organization

Inria

France

https://rocq-prover.org/⁠

Repositories

Displaying 1 to 2 of 2 repositories

image
rocq/rocq-prover
Inria

Docker images of the Rocq Prover

1d

100K+

2

image
rocq/base
Inria

Parent image for Docker images of the Rocq Prover

1m

6.8K

1