Search Docker Hub
rocq-prover-dev
sha256:27dd55d1296b46ceeb76df995c824fae5ac1bc39fd2043fbbc554704c9a65384
OS/ARCH
---
Compressed size
Last pushed
about 1 hour by mathcompuser
Type
Image
Manifest digest