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+

ssaavedra/dafny repository overview

No overview available
This repository doesn't have an overview

Tag summary

Content type

Image

Digest

Size

253.3 MB

Last updated

over 7 years ago

docker pull ssaavedra/dafny