Yirmibir / dafny

programming language with program correctness verifier

•     Benjamin Barenblat
•     bbaren@mit.edu
•     https://research.microsoft.com/en-us/projects/dafny/
•     2.3.0+dfsg-0.1
•     dafny_2.3.0+dfsg-0.1_all.deb
•     478.3 KiB
•     devel
•     all
•      dafny_2.3.0+dfsg-0.1.debian.tar.xz
            dafny_2.3.0+dfsg-0.1.dsc
            dafny_2.3.0+dfsg.orig.tar.xz
•     Debian Versiyonu: 2.3.0+dfsg-0.1
•     programming language with program correctness verifier

Diğer Pardus sürümlerindeki versiyonlar