Pricing
Why3 pricing
As why3.org lists them, read 10 Oct 2026. The maker's own page has the final word.
| Plan | Billed and limits | Price |
|---|---|---|
| Why3 | GNU Lesser General Public License version 2.1 with a special linking exception | Free |
From why3.org.
Pricing
As why3.org lists them, read 10 Oct 2026. The maker's own page has the final word.
| Plan | Billed and limits | Price |
|---|---|---|
| Why3 | GNU Lesser General Public License version 2.1 with a special linking exception | Free |
From why3.org.