Saturday, October 24, 2026 4,350 lists 78,096 records on file
List your app or device
MOBILE US PRESSTECH, ON THE RECORD.
AppsAIDevicesGalaxyChipsCompareStories Every list
  1. Home
  2. Rocq
  3. Pricing
Pricing · 2026

Rocq pricing

1 plan on the record · a free plan

See today's prices

Every plan

Rocq Prover

Free

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

Read 2 Oct 2026 · rocq-prover.org