CoqIDE

coq.inria.frsite

Standalone graphical tool for interacting with Coq.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲

   coq-tools github.com

   Scripts for manipulating Coq developments.

   tool link ↗
   
2. ▲

   Coqtail github.com

   Interface for Coq based on the Vim text editor.

   tool link ↗
   
3. ▲

   Official Coq manual coq.inria.fr

   site link ↗
   site
4. ▲

   coq github.com

   tool link ↗
   
5. ▲

   CoqOfOCaml github.com

   Tool for generating idiomatic Coq from OCaml code.

   tool link ↗
   
6. ▲

   Coq Platform github.com

   Curated collection of packages to support Coq use in industry, education, and research.

   tool topic programming link ↗
   tool

Coq › Projects > User Interfaces: “Standalone graphical tool for interacting with Coq.”