math-comp / Coq-CombiLinks

Algebraic Combinatorics in Coq
38Updated 4 months ago

Alternatives and similar repositories for Coq-Combi

Users that are interested in Coq-Combi are comparing it to the libraries listed below

Sorting: