06782d2d62
Import from WIP, thanks jihbed.research@gmail.com Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions.
5 lines
351 B
Text
5 lines
351 B
Text
$NetBSD: distinfo,v 1.1 2022/10/08 16:36:47 tonio Exp $
|
|
|
|
BLAKE2s (why3-1.5.1.tar.gz) = c4be800397c011a99d13526488d56aae4ff5c260ddff5a1ac843149145e6a855
|
|
SHA512 (why3-1.5.1.tar.gz) = 1452a21ea9191f57debcc082afe458aec503d6aa24f8bc83f734041cdd302c4f166c9c4fe5f9ec25369b6e83011bdd7b485d67b092efa71ff0c1b39447f4bdac
|
|
Size (why3-1.5.1.tar.gz) = 6727576 bytes
|