why3

Project information

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

13,395 Commits
125 Branches
33 Tags
1 Release

README
GNU LGPLv2.1
CHANGELOG
GitLab Pages

Created on

October 20, 2020

Loading