adstewart/dafny-codespaces

•Updated almost 2 years ago

use the Dafny verification-aware language with codespaces

Image

412

Tags for adstewart/dafny-codespaces

Sort by

TAG

latest

Last pushed almost 2 years by adspush

docker pull adstewart/dafny-codespaces:latest

Digest	OS/ARCH	Compressed size
862ee78a6458	linux/amd64	554.72 MB

TAG

0.1.2

Last pushed almost 2 years by adspush

docker pull adstewart/dafny-codespaces:0.1.2

Digest	OS/ARCH	Compressed size
862ee78a6458	linux/amd64	554.72 MB

TAG

0.1.1

Last pushed almost 2 years by adspush

docker pull adstewart/dafny-codespaces:0.1.1

Digest	OS/ARCH	Compressed size
671dd7ae4293	linux/amd64	554.7 MB