theostos/coq-quantumlib

•Updated 6 months ago

Image

Tags for theostos/coq-quantumlib

Sort by

TAG

8.20-1.8.0

Last pushed 6 months by theostos

docker pull theostos/coq-quantumlib:8.20-1.8.0

Digest	OS/ARCH	Compressed size
82285e479b03	linux/amd64	6.36 GB