An unofficial mirror of Why3 (http://why3.lri.fr/)