mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
8 lines
292 B
Plaintext
8 lines
292 B
Plaintext
|
|
The Why3 Verification Platform / The Why3 Development Team
|
|
Copyright 2010-2025 -- 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 file LICENSE.
|