adstewart/dafny-gitpod

•Updated over 4 years ago

use the Dafny verification-aware language with gitpod.io

Image

331

Tags for adstewart/dafny-gitpod

Sort by

TAG

latest

Last pushed over 4 years by adspush

docker pull adstewart/dafny-gitpod:latest

Digest	OS/ARCH	Compressed size
e9262634103a	linux/amd64	3.03 GB

TAG

0.1.1

Last pushed over 4 years by adspush

docker pull adstewart/dafny-gitpod:0.1.1

Digest	OS/ARCH	Compressed size
e9262634103a	linux/amd64	3.03 GB

TAG

0.1.0

Last pushed over 4 years by adspush

docker pull adstewart/dafny-gitpod:0.1.0

Digest	OS/ARCH	Compressed size
64bfde97aefb	linux/amd64	2.87 GB