Package and Build Management > Coq Nix Toolbox

Nix helper scripts to automate local builds and continuous integration for Coq.