TryWhy3 is a Javascript based version of the Why3 Verification Platform
© 2010-2023, Inria - CNRS - Paris-Saclay 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: