Skip to content

feat: use rules_nixpkgs for hermetic Coq toolchain#17

Merged
avrabe merged 2 commits into
mainfrom
feat/nix-toolchain
Jan 18, 2026
Merged

feat: use rules_nixpkgs for hermetic Coq toolchain#17
avrabe merged 2 commits into
mainfrom
feat/nix-toolchain

fix: add required sections to README for CI check

bf2fbce
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar