Dafny 1.6.1

Rating: No reviews yet
Downloads: 31
Change Set: 74de48c5bff1
Released: Mar 10, 2013
Updated: Mar 10, 2013 by rustanleino
Dev status: Stable Help Icon

Recommended Download

Application Dafny.zip
application, 2885K, uploaded Mar 10, 2013 - 31 downloads

Release Notes

Dafny version 1.6 added support for co-induction. Version 1.6.1 improves the features of the "calc" statement for proof calculations.

Reviews for this release

No reviews yet for this release.