nixpkgs / coqPackages.fourcolor - Formal proof of the Four Color Theorem

Homepage - https://github.com/math-comp/fourcolor

License - CECILL-B

Maintainers - Siraphob Phipathananunth

Releases

1.2.3 (expand/collapse)

From commit 02531646 to 00460bd6