Home My Page Projects Why3
Summary Activity Tracker Lists SCM Files

Forum: Announcement: release 0.63

Posted by: Claude Marché
Date: 2010-12-22 10:20
Summary:Announcement: release 0.63
Project:Why3

The first public release of Why3 is out. The documentation in PDF format and the sources in tar.gz format are available from the home page http://why3.gforge.inria.fr/.

The API in HTML format is available from http://why3.gforge.inria.fr/apidoc/index.html
Latest News

Announcement: release 0.64

Jean-Christophe Filliâtre - 2011-02-17 17:58 -

Announcement: release 0.63

Claude Marché - 2010-12-22 10:20 -
Monitor Forum | Start New Thread Start New Thread