Search Docker Hub
rocq-prover-9.1
sha256:f224c4942363268bab58c313706bbac43798c99b04f9b0944f74ddeffd0b1f92
OS/ARCH
---
Compressed size
Last pushed
about 13 hours by mathcompuser
Type
Image
Manifest digest