dafny - 2.3.0+dfsg-0.1 main

Dafny is a programming language with a program verifier. The verifier
processes function preconditions, postconditions, and assertions, and sends
them to an SMT solver for checking. In this way, assertion failures become
compiler errors, rather than runtime ones.

Priority: optional
Section: devel
Suites: byzantium crimson 
Maintainer: Benjamin Barenblat <bbaren [꩜] mit.edu>
 
Homepage Source Package
 

Dependencies

Installed Size: 1.9 MB
Architectures: all 

 

Versions

2.3.0+dfsg-0.1 all