Gentoo Portage Overlays - sci-mathematics/dafny

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/dafny

Dafny: a language and program verifier for functional correctness

Screenshots

http://research.microsoft.com/en-us/projects/dafny/

dafny-2.2.41003.0703

amd64 x86

View

Download

Browse License: Ms-PL

Overlay: buzden (layman)

dafny-2.2.31219.0706

amd64 x86

View

Download

Browse License: Ms-PL

Overlay: buzden (layman)

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs