Skip to content

Add Coq Nix Toolbox-based CI to test CoqEAL.#75

Open
Zimmi48 wants to merge 1 commit intocoq-community:masterfrom Zimmi48:nix-ci

Commits

Commits on Sep 1, 2021