Search Docker Hub
dafny
By tchajed
Run the Dafny verifier within Docker
975
Sort by
TAG
latest
Last pushed about 3 years by tchajed
docker pull tchajed/dafny:latest
2d48481b8f4f
linux/amd64
440.02 MB
65411ff20f48
linux/arm64
431.17 MB