siraben / coq-wigdersonLinks

Formalization of Wigderson's graph coloring algorithm in Coq
9Updated last year

Alternatives and similar repositories for coq-wigderson

Users that are interested in coq-wigderson are comparing it to the libraries listed below

Sorting: