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.86.1 May 21, 2015 why3 - Release Notes why3 - Monitor this package why3 0.86.1 - Download
Public Tools
Tracker Tracker
Mailing Lists (1 public mailing list)
SCM Repository (Git: 24,907 updates, 4,360 adds)