Plans and prices

Rocq pricing

Rocq Prover

Free

Interactive theorem prover and dependently typed programming language · distributed under GNU Lesser General Public Licence Version 2.1 (LGPL)

Checked 2 Oct 2026