tchajed/sys-verif

•Updated 7 months ago

Container for using Rocq in VS Code

Image

Languages & frameworks

1.6K

tchajed/sys-verif repository overview

See https://github.com/tchajed/sys-verif-docker⁠ for instructions on using this container with VS Code.

Recent tags

Content type

Image

Digest

sha256:e3c7b17f1…

Size

1.1 GB

Last updated

7 months ago

docker pull tchajed/sys-verif:v2.5.0