Coq Nix Toolbox
Nix helper scripts to automate local builds and continuous integration for Coq.
- from
- Coq
- added
- 2026-10-10
- likes
- 0
Coq › Projects > Package and Build Management: “Nix helper scripts to automate local builds and continuous integration for Coq.”