tchajed/sys-verif

•Updated 7 months ago

Container for using Rocq in VS Code

Image

Languages & frameworks

1.6K

Tags for tchajed/sys-verif

Sort by

TAG

v2.5.0

Last pushed 7 months by tchajed

docker pull tchajed/sys-verif:v2.5.0

Digest	OS/ARCH	Compressed size
f0031646e504	linux/amd64	1.01 GB
bf4e3eb1d223	linux/arm64	1.05 GB

TAG

latest

Last pushed 7 months by tchajed

docker pull tchajed/sys-verif:latest

Digest	OS/ARCH	Compressed size
f0031646e504	linux/amd64	1.01 GB
bf4e3eb1d223	linux/arm64	1.05 GB

TAG

v2.4.0

Last pushed 11 months by tchajed

docker pull tchajed/sys-verif:v2.4.0

Digest	OS/ARCH	Compressed size
cd466b9152b3	linux/amd64	1018.94 MB
497b1a27d136	linux/arm64	1.03 GB

TAG

v2.3.0

Last pushed 11 months by tchajed

docker pull tchajed/sys-verif:v2.3.0

Digest	OS/ARCH	Compressed size
cfc2cd35c557	linux/amd64	912.35 MB
89e9ea1da80f	linux/arm64	942.75 MB

TAG

v2.0.0

Last pushed over 1 year by tchajed

docker pull tchajed/sys-verif:v2.0.0

Digest	OS/ARCH	Compressed size
b2b1a2e6bce7	linux/amd64	915.56 MB
80e6349a9c78	linux/arm64	943.31 MB