TryWhy3 is a Javascript-based version of the Why3 Verification Platform
© 2010-2017, Inria - CNRS - Paris-Sud University This software is distributed under the terms of the GNU Lesser General Public License version 2.1, with the special exception on linking described in the file LICENSE.
TryWhy3 relies on the following excellent open source software and resources: