http://why3.lri.fr/
https://gforge.inria.fr/scm/?group_id=2990
https://gforge.inria.fr/scm/browser.php?group_id=2990

http://why3.lri.fr/download/manual-0.87.3.pdf