BapMel / 4CT-Robertson1997

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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


Languages

Language:C 39.1%Language:TeX 30.0%Language:Pascal 21.2%Language:HTML 9.7%