Awesome Lists
Top Projects
Most Links
Search
About
Add Project
Coq-Combi
Algebraic Combinatorics in Coq
GitHub
1
stars
1
watching
0
forks
last commit:
over 1 year ago
combinatorics
coq
coq-formalization
mathcomp
symmetric-functions