Installlion's Logo

Installlion.com

How To Install dafny On Parrot 3.7

To install dafny just follow these instructions.

Install dafny

programming language with program correctness 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.Parrot 3.7devel1.9.7-1
sudo apt-get install dafny

Which will install dafny and any other packages on which it depends.

Package Data

Packagedafny
Version1.9.7-1
MaintainerBenjamin Barenblat <[email protected]>
Home pagehttps://research.microsoft.com/en-us/projects/dafny/
Descriptionprogramming language with program correctness 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.
Distroparrot
Releasejollyroger
Repomain
Sectiondevel

Dependencies