Skip to content

update nix and CI + fix bug not testing Coq master #221

update nix and CI + fix bug not testing Coq master

update nix and CI + fix bug not testing Coq master #221