Why3 Pricing in 2026
Every plan Why3 publishes, with the page and date we read it from. Prices we could not find on Why3's own site are marked "Not published", never guessed.
| Plan | Price | Billing | Limits | Source |
|---|---|---|---|---|
| Why3 | Free | GNU Lesser General Public License version 2.1 with a special linking exception | why3.org |