Skip to content

Update the Nix setup to rely on the Coq Nix Toolbox.#77

Closed
Zimmi48 wants to merge 1 commit intocoq-community:masterfrom Zimmi48:new-nix-setup
+78-38

Commits

Commits on Aug 6, 2021