Skip to content

First version of Georges Gonthier's 2005 proof of the Four Color Theorem (v1.0 for Coq 7)

Notifications You must be signed in to change notification settings

BapMel/4CT-coq-v1.0-Depository

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Supporting the preservation of legacy source code.

Instantiating this template creates a workbench to support the acquisition of legacy source code, according to SWHAP, the Software Heritage Acquisition Process defined by the SWHAP@Pisa project.

The workbench comes with the predefined folders that are used in the supported process. Namely:

  • Folder raw materials is for the original materials, as they have been found or submitted.

  • Folder browsable source is for a browsable version of the source code. Source files, with the right extension, have to be accessible through the GitHub web interface, e.g., archives should be decompressed, code should be transcribed if provided by images, etc.

  • Folder source is for the curated revision of the source code, as a base for the reconstruction of the development history as a git repository.

  • Folder metadata holds various files with meta information (catalogue, actors, journal, tags) to be updated throughout the process.

  • Folder additional materials is for materials originated during the recovery process to document it or to shed new light on the recovered software project.

Please note that this file need be replaced in the instantiated workbench.

Please look at the SWHAPPE repository and the guidelines for more details.

About

First version of Georges Gonthier's 2005 proof of the Four Color Theorem (v1.0 for Coq 7)

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published