Home My Page Projects Why3
Summary Activity Tracker Lists SCM Files

Project description

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

The project is no longer maintained here. You can find the repository and the issue tracker at https://gitlab.inria.fr/why3/why3/

Latest File Releases
Package Version Date Notes Download
why3 1.0.0 2018-06-25 why3 - Release Notes why3 1.0.0 - Download
Public Tools
Tracker  Tracker
Mailing Lists (1 public mailing list)
SCM Repository (Git: 38,907 updates, 6,003 adds)