Home My Page Projects Why3
Summary Activity Tracker Lists SCM Files

Why3: Project Home - forge_get_config('forge_name')

Project description

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

Latest File Releases
Package Version Date Notes Monitor Download
why3 0.85 September 17, 2014 why3 - Release Notes why3 - Monitor this package why3 0.85 - Download
Public Tools
Tracker Tracker
Mailing Lists (1 public mailing list)
SCM Repository (Git: 23,773 updates, 4,258 adds)