From efbff79362e1480ad097652d3860ffd7adc13e73 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Tue, 2 Jul 2024 23:39:37 +0200 Subject: [PATCH] add HAL paper in meta.yml and README.md --- README.md | 1 + meta.yml | 2 ++ 2 files changed, 3 insertions(+) diff --git a/README.md b/README.md index abf06f1..a64b7b5 100644 --- a/README.md +++ b/README.md @@ -42,6 +42,7 @@ basic plane topology definitions, and a theory of combinatorial hypermaps. - Coq namespace: `fourcolor` - Related publication(s): - [Formal Proof—The Four-Color Theorem](https://www.ams.org/notices/200811/tx081101382p.pdf) + - [A computer-checked proof of the Four Color Theorem](https://inria.hal.science/hal-04034866/document) ## Building and installation instructions diff --git a/meta.yml b/meta.yml index 3413273..acde421 100644 --- a/meta.yml +++ b/meta.yml @@ -16,6 +16,8 @@ description: |- publications: - pub_url: https://www.ams.org/notices/200811/tx081101382p.pdf pub_title: Formal Proof—The Four-Color Theorem +- pub_url: https://inria.hal.science/hal-04034866/document + pub_title: A computer-checked proof of the Four Color Theorem authors: - name: Georges Gonthier