Sign inSign up

tchajed/sys-verif

By tchajed

•Updated 9 months ago

Container for using Rocq in VS Code

Image
Languages & frameworks
0

2.6K

tchajed/sys-verif repository overview

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

Tag summary

Content type

Image

Digest

sha256:e3c7b17f1…

Size

1.1 GB

Last updated

9 months ago

docker pull tchajed/sys-verif