search

math-comp / Coq-Combi

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

Tentative Nix Fix #8

Closed hivert closed 8 months ago