Skip to content

Robertson, Sanders, Seymour and Thomas' 1997 proof of the Four-Colour Theorem

Notifications You must be signed in to change notification settings

BapMel/4CT-Robertson1997

Repository files navigation

This folder is for the curated revision of the source code, which should be organized putting in a separated folder each major version of the code, in view of the recontruction of the development history as a new git repository.

Please refer to the SWHAPPE guidelines for greater details.

About

Robertson, Sanders, Seymour and Thomas' 1997 proof of the Four-Colour Theorem

Topics

Resources

Stars

Watchers

Forks

Packages

No packages published