RoCQ — Cursor app

Integrates the Coq proof assistant with natural language inputs to enable automated dependent type checking, inductive type definition, and property proving for formal verification

RoCQ

Integrates the Coq proof assistant with natural language inputs to enable automated dependent type checking, inductive type definition, and property proving for formal verification and theorem proving tasks.

Store

cursor

Publisher

Not reported

First observed

2026-10-11T11:03:11+00:00

Open the interactive profile to explore rank history, metrics, tools and listing versions.

Data as of 2026-10-14T00:06:30+00:00.

OpenApps records store listings and observed changes. Store ranks are not download counts; launch dates may be derived or use the first observation. Coverage gaps are shown in the interactive catalog.

REST API specification · Guide for AI clients · Manage API keys and MCP connections