Open Issues Need Help
View All on GitHub Robust algorithm for 2-colorability about 2 months ago
enhancement help wanted
Formalization of Wigderson's graph coloring algorithm in Coq
Rocq Prover
#coq#formalization#graph-algorithms#graph-coloring