Nixhub.io

coqPackages.coq

Coq proof assistant

devbox add coqPackages.coq@latest
Tips

Install the package with Nix (specific nixpkg reference shown below).

Not a Nix expert? Download the Devbox CLI and install via `devbox add coqPackages.coq@latest`.

  1. Version
    9.0.0

    Available on Linux and macOS

    Nixpkgs Reference

    648f70160c03151bc2121d179291337ad6bc564b#coqPackages.coq

    Install with Devbox

    devbox add [email protected]
    Last updated

  2. Version
    8.20.1

    Available on Linux and macOS

    Nixpkgs Reference

    0d534853a55b5d02a4ababa1d71921ce8f0aee4c#coqPackages.coq

    Install with Devbox

    devbox add [email protected]
    Last updated

  3. Version
    8.20.0

    Available on Linux and macOS

    Nixpkgs Reference

    041c867bad68dfe34b78b2813028a2e2ea70a23c#coqPackages.coq

    Install with Devbox

    devbox add [email protected]
    Last updated

  4. Version
    8.19.2

    Available on Linux and macOS

    Nixpkgs Reference

    5629520edecb69630a3f4d17d3d33fc96c13f6fe#coqPackages.coq

    Install with Devbox

    devbox add [email protected]
    Last updated

  5. Version
    8.19.1

    Available on Linux and macOS

    Nixpkgs Reference

    a9858885e197f984d92d7fe64e9fff6b2e488d40#coqPackages.coq

    Install with Devbox

    devbox add [email protected]
    Last updated

  6. Version
    8.18.0

    Available on Linux and macOS

    Nixpkgs Reference

    92d295f588631b0db2da509f381b4fb1e74173c5#coqPackages.coq

    Install with Devbox

    devbox add [email protected]
    Last updated

  7. Version
    8.17.1

    Available on Linux and macOS

    Nixpkgs Reference

    46688f8eb5cd6f1298d873d4d2b9cf245e09e88e#coqPackages.coq

    Install with Devbox

    devbox add [email protected]
    Last updated

  8. Version
    8.17.0

    Available on Linux and macOS

    Nixpkgs Reference

    60a783e00517fce85c42c8c53fe0ed05ded5b2a4#coqPackages.coq

    Install with Devbox

    devbox add [email protected]
    Last updated

  9. Version
    8.16.1

    Available on Linux and macOS

    Nixpkgs Reference

    96ba1c52e54e74c3197f4d43026b3f3d92e83ff9#coqPackages.coq

    Install with Devbox

    devbox add [email protected]
    Last updated

  10. Version
    8.16.0

    Available on Linux and macOS

    Nixpkgs Reference

    55b3f68bda6d4f4dc6092eed0508063f154fa4fd#coqPackages.coq

    Install with Devbox

    devbox add [email protected]
    Last updated

  11. Version
    8.15.2

    Available on Linux and macOS

    Nixpkgs Reference

    e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3#coqPackages.coq

    Install with Devbox

    devbox add [email protected]
    Last updated

  12. Version
    8.15.1

    Available on Linux and macOS

    Nixpkgs Reference

    059530fbdb1a2e0f78e896a93d6b6da5999485d9#coqPackages.coq

    Install with Devbox

    devbox add [email protected]
    Last updated

  13. Version
    8.13.2

    Available on Linux and macOS

    Nixpkgs Reference

    b4cc9cd38f05f1a764e21bfb1b14e89be76068b0#coqPackages.coq

    Install with Devbox

    devbox add [email protected]
    Last updated

  14. Version
    8.11.2

    Available on Linux

    Nixpkgs Reference

    316b82563a7793a4a88bed9e41adb936d9adc969#coqPackages.coq

    Install with Devbox

    devbox add [email protected]
    Last updated

  15. Version
    8.9.1

    Available on Linux

    Nixpkgs Reference

    729e7295cf7b3205fcfa72544c1195c03de11c3d#coqPackages.coq

    Install with Devbox

    devbox add [email protected]
    Last updated