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