Debian Coq packages

people.debian.orgsite

Coq-related packages available in the testing distribution of Debian.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲

   Coq Platform github.com

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

   tool topic programming link ↗
   tool
2. ▲

   Official Coq standard library coq.inria.fr

   site link ↗
   
3. ▲

   CoqIDE coq.inria.fr

   Standalone graphical tool for interacting with Coq.

   site link ↗
   site
4. ▲

   Coq Package Index coq.inria.fr

   Collection of Coq packages based on opam.

   site link ↗
   
5. ▲

   Nix Coq packages search.nixos.org

   Collection of Coq-related packages for Nix.

   site link ↗
   site
6. ▲

   PyCoq github.com

   Set of bindings and libraries for interacting with Coq from inside Python 3.

   tool topic programming link ↗
   tool

Coq › Projects > Package and Build Management: “Coq-related packages available in the testing distribution of Debian.”