coq-community / coq-nix-toolbox

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

Related projects

Alternatives and complementary repositories for coq-nix-toolbox