dogear

enter for all results · esc to close

Docker-Coq GitHub Action

github.comsite

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

visit github.com ↗
0
sign in to dogear this
from
Coq
added
2026-10-10
likes
0

similar

  1. Docker-MathComp github.com
    tool category #coq link ↗

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

  2. Docker-Coq github.com
    tool category #coq link ↗

    Docker images for many versions of Coq.

  3. Coq Platform github.com
    tool category #coq link ↗

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

  4. GitHub Container Registry docs.github.com
    site category #docker link ↗

    GitHub's solution for storing and managing Docker images, with tight integration into GitHub Actions.

  5. jsCoq github.com
    tool category #coq link ↗

    Port of Coq to JavaScript, which enables running Coq projects in a browser.

  6. Official Coq wiki github.com
    site category #coq link ↗

Coq › Projects > Package and Build Management: “GitHub container action that can be used with Docker-Coq or Docker-MathComp.”