From 794fda4aa65cdacee9c976cdae45c64d89d61048 Mon Sep 17 00:00:00 2001 From: Nada Amin Date: Sat, 24 Sep 2022 14:28:34 -0400 Subject: [PATCH 1/2] update link --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index e6e066623..99591f698 100644 --- a/README.md +++ b/README.md @@ -202,7 +202,7 @@ Examples of translations built on top of this: Part 3 describes in detail the verified reduction, conversion and type checker. - ["Coq Coq Codet! Towards a Verified Toolchain for Coq in - MetaCoq"](http://www.irif.fr/~sozeau/research/publications/Coq_Coq_Codet-CoqWS19.pdf) + MetaCoq"](https://sozeau.gitlabpages.inria.fr/www/research/publications/Coq_Coq_Codet-CoqWS19.pdf) Matthieu Sozeau, Simon Boulier, Yannick Forster, Nicolas Tabareau and Théo Winterhalter. Abstract and [presentation](http://www.ps.uni-saarland.de/~forster/downloads/slides-coqws19.pdf) From e85780e475046c94b76de54c621b1718cfe038f4 Mon Sep 17 00:00:00 2001 From: Nada Amin Date: Sat, 24 Sep 2022 14:33:06 -0400 Subject: [PATCH 2/2] update link --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 99591f698..cfa810495 100644 --- a/README.md +++ b/README.md @@ -210,7 +210,7 @@ Examples of translations built on top of this: 2019](https://staff.aist.go.jp/reynald.affeldt/coq2019/), September 2019. -- ["The MetaCoq Project"](https://www.irif.fr/~sozeau/research/publications/drafts/The_MetaCoq_Project.pdf) +- ["The MetaCoq Project"](https://sozeau.gitlabpages.inria.fr/www/research/publications/drafts/The_MetaCoq_Project.pdf) Matthieu Sozeau, Abhishek Anand, Simon Boulier, Cyril Cohen, Yannick Forster, Fabian Kunze, Gregory Malecha, Nicolas Tabareau and Théo Winterhalter. JAR, February 2020. Extended version of the ITP 2018 paper.