siraben / coq-wigderson

Formalization of Wigderson's graph coloring algorithm in Coq

siraben/coq-wigderson Stargazers

Arthur Correnson
acorrenson
Xuyang Li
Hughshine
Shengyi Jiang
jiangsy
ypcpy
Kensuke-Hinata
Kevin Hill
kivo360
Anthony Wang
Ta180m
James Wilcox
wilcoxjay

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.