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.83 March 14, 2014 why3 - Release Notes why3 - Monitor this package why3 0.83 - Download
Public Areas
Tracker Tracker
 Mailing Lists (1 public mailing list)
 SCM Repository (Git: 12,169 commits, 1,921 adds)