/coq-nix-toolbox

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

Primary LanguageNixMIT LicenseMIT

No issues in this repository yet.