appliedfm / docker-coq-vst

Docker images of the Coq proof assistant with compcert and VST pre-installed

https://hub.docker.com/r/tcarstens/coq-vst/tags

Geek Repo

Github PK Tool