Search Docker Hub
rocq-prover-dev
sha256:3aacfb673a6d4acfe87c9af0ef73070f7d20f2ec0166d687d55f7767d63ffb1b
OS/ARCH
---
Compressed size
Last pushed
about 3 hours by mathcompuser
Type
Image
Manifest digest