theostos/coq-tp

•Updated 4 months ago

Image

Tags for theostos/coq-tp

Sort by

TAG

8.20

Last pushed 4 months by theostos

docker pull theostos/coq-tp:8.20

Digest	OS/ARCH	Compressed size
3c1fd0f14e49	linux/amd64	6.41 GB