Docker-MathComp

github.comtool

Docker images for many combinations of versions of Coq and the Mathematical Components library.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲
   Docker-Coq github.com

   tool category #coq link ↗

   Docker images for many versions of Coq.

2. ▲
   Docker-Coq GitHub Action github.com

   site category #coq link ↗

   GitHub container action that can be used with Docker-Coq or Docker-MathComp.

3. ▲
   MathComp Tutorial Materials github.com

   tool category #coq link ↗

   Source code for Mathematical Components tutorials.

4. ▲
   Mathematical Components wiki github.com

   site category #coq link ↗
5. ▲
   MathComp School github.com

   tool category #coq link ↗

   Coq sources for lessons and exercises that introduce the SSReflect proof language and the Mathematical Components library.

   
6. ▲
   Coqtail Math github.com

   tool category #coq link ↗

   Library of mathematical results ranging from arithmetic to real and complex analysis.

   

Coq › Projects > Package and Build Management: “Docker images for many combinations of versions of Coq and the Mathematical Components library.”