Sign inSign up

ssaavedra/dafny

By ssaavedra

•Updated over 7 years ago

A container with Mono, Dafny and Z3 installed, based on library/mono:5

Image
0

10K+

Tags for ssaavedra/dafny

Sort by

TAG

latest

Last pushed over 7 years by ssaavedra

docker pull ssaavedra/dafny:latest
DigestOS/ARCHCompressed size

721df4bd697f

linux/amd64

253.3 MB