Version9.0.0
Available on Linux and macOS
Nixpkgs Reference
648f70160c03151bc2121d179291337ad6bc564b#coq
Install with Devbox
devbox add [email protected]coq
Coq proof assistant
devbox add coq@latestTips
Install the package with Nix (specific nixpkg reference shown below).
Not a Nix expert? Download the Devbox CLI and install via `devbox add coq@latest`.
- Version8.20.1
Available on Linux and macOS
Nixpkgs Reference
0d534853a55b5d02a4ababa1d71921ce8f0aee4c#coq
Install with Devbox
devbox add [email protected] - Version8.20.0
Available on Linux and macOS
Nixpkgs Reference
041c867bad68dfe34b78b2813028a2e2ea70a23c#coq
Install with Devbox
devbox add [email protected] - Version8.19.2
Available on Linux and macOS
Nixpkgs Reference
5629520edecb69630a3f4d17d3d33fc96c13f6fe#coq
Install with Devbox
devbox add [email protected] - Version8.19.1
Available on Linux and macOS
Nixpkgs Reference
a9858885e197f984d92d7fe64e9fff6b2e488d40#coq
Install with Devbox
devbox add [email protected] - Version8.18.0
Available on Linux and macOS
Nixpkgs Reference
a9040b7bf8adcd322493722106dd603eb87694ea#coq
Install with Devbox
devbox add [email protected] - Version8.17.1
Available on Linux and macOS
Nixpkgs Reference
46688f8eb5cd6f1298d873d4d2b9cf245e09e88e#coq
Install with Devbox
devbox add [email protected] - Version8.17.0
Available on Linux and macOS
Nixpkgs Reference
60a783e00517fce85c42c8c53fe0ed05ded5b2a4#coq
Install with Devbox
devbox add [email protected] - Version8.16.1
Available on Linux and macOS
Nixpkgs Reference
96ba1c52e54e74c3197f4d43026b3f3d92e83ff9#coq
Install with Devbox
devbox add [email protected] - Version8.16.0
Available on Linux and macOS
Nixpkgs Reference
55b3f68bda6d4f4dc6092eed0508063f154fa4fd#coq
Install with Devbox
devbox add [email protected] - Version8.15.2
Available on Linux and macOS
Nixpkgs Reference
e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3#coq
Install with Devbox
devbox add [email protected] - Version8.15.1
Available on Linux and macOS
Nixpkgs Reference
059530fbdb1a2e0f78e896a93d6b6da5999485d9#coq
Install with Devbox
devbox add [email protected] - Version8.13.2
Available on Linux and macOS
Nixpkgs Reference
b4cc9cd38f05f1a764e21bfb1b14e89be76068b0#coq
Install with Devbox
devbox add [email protected] - Version8.11.2
Available on Linux
Nixpkgs Reference
316b82563a7793a4a88bed9e41adb936d9adc969#coq
Install with Devbox
devbox add [email protected] - Version8.9.1
Available on Linux
Nixpkgs Reference
729e7295cf7b3205fcfa72544c1195c03de11c3d#coq
Install with Devbox
devbox add [email protected]