Pricing
Isabelle pricing
As isabelle.in.tum.de lists them, read 30 Sept 2026. The maker's own page has the final word.
| Plan | Billed and limits | Price |
|---|---|---|
| Isabelle | Distributed for free · open-source licenses, with the main code-base subject to BSD-style regulations | Free |
From isabelle.in.tum.de.