coq_makefile

coq.inria.frsite

Build tool distributed with Coq and based on generating a makefile.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲

   coq-tools github.com

   Scripts for manipulating Coq developments.

   tool link ↗
   
2. ▲

   coq-community Templates github.com

   Templates for generating configuration files for Coq projects.

   tool link ↗
   
3. ▲

   Coq-community package maintenance project github.com

   tool link ↗
   
4. ▲

   coq-of-ocaml github.com

   tool link ↗
   
5. ▲

   CoqOfOCaml github.com

   Tool for generating idiomatic Coq from OCaml code.

   tool link ↗
   
6. ▲

   coq github.com

   tool link ↗
   

Coq › Projects > Package and Build Management: “Build tool distributed with Coq and based on generating a makefile.”