GitHub repository: rocq-community/coq-nix-toolbox
Primary language: Nix
Description: Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]