Coq-Combi

Algebraic Combinatorics in Coq

GitHub

1 stars
1 watching
0 forks
last commit: over 1 year ago
combinatoricscoqcoq-formalizationmathcompsymmetric-functions