Geeks
math-comp
/
Coq-Combi
Algebraic Combinatorics in Coq
Primary Language
Coq
GNU General Public License v3.0
GPL-3.0
Coq-Combi GitHub
Markdown
Readme
5
Issues
34
Stargazers
12
Watchers
Watchers
00mjk
alreadydone
Heidelberg / Shenzhen
backtracking
darijgr
Drexel University
eemailme
hivert
University Paris-Sud Orsay Paris-Saclay / LRI / CNRS
jevinskie
Lafayette, Indiana
jhcloos
llelf
MarisaKirisame
魔法の森, Gensokyo
SeshatCZ
Czech republic
thibautbenjamin