issues
search
math-comp
/
Coq-Combi
Algebraic Combinatorics in Coq
GNU General Public License v3.0
34
stars
7
forks
source link
Tentative Nix Fix
#11
Closed
hivert
closed
8 months ago