Why3 pricing

Why3

GNU Lesser General Public License version 2.1 with a special linking exception

Checked 10 Oct 2026