misc/header.txt

   1
   2 The Why3 Verification Platform   /   The Why3 Development Team
   3 Copyright 2010-2024 --  Inria - CNRS - Paris-Saclay University
   4
   5 This software is distributed under the terms of the GNU Lesser
   6 General Public License version 2.1, with the special exception
   7 on linking described in file LICENSE.
   8