theostos/coq-iris

•Updated 6 months ago

Image

122

theostos/coq-iris repository overview

No overview available

This repository doesn't have an overview

Recent tags

Content type

Image

Digest

sha256:d1fe9e59a…

Size

6.1 GB

Last updated

6 months ago

docker pull theostos/coq-iris:9.0-4.4.0