math-comp / Coq-CombiLinks

Algebraic Combinatorics in Coq
39Updated last week

Alternatives and similar repositories for Coq-Combi

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

Sorting: