search

math-comp / Coq-Combi

Algebraic Combinatorics in Coq
GNU General Public License v3.0
36 stars 7 forks source link

Mutiple nix bundle #13

Closed hivert closed 9 months ago

hivert commented 9 months ago

Tentative multiple config CI with nix bundle.