Pricing
Rocq pricing
As rocq-prover.org lists them, read 2 Oct 2026. The maker's own page has the final word.
| Plan | Billed and limits | Price |
|---|---|---|
| Rocq Prover | Interactive theorem prover and dependently typed programming language · distributed under GNU Lesser General Public Licence Version 2.1 (LGPL) | Free |
From rocq-prover.org.