search

LPCIC / coq-elpi

Coq plugin embedding elpi
GNU Lesser General Public License v2.1
139 stars 51 forks source link

[CI] Update Nix toolbox #713

Closed proux01 closed 2 weeks ago

proux01 commented 2 weeks ago

Following https://github.com/coq-community/coq-nix-toolbox/pull/283

proux01 commented 2 weeks ago

CI green