Why3 – A platform for deductive program verification

Article URL: http://why3.lri.fr/

Comments URL: https://news.ycombinator.com/item?id=18369515

Points: 33

# Comments: 0

from Hacker News: Front Page http://why3.lri.fr/
via