From 2c90a2293a8a7bd079636ab5966156fae35ab4d2 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Thu, 26 Oct 2023 10:40:39 +0200 Subject: [PATCH] docs: Update pub_url --- README.md | 2 +- meta.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 84d632b..d16e958 100644 --- a/README.md +++ b/README.md @@ -36,7 +36,7 @@ studied with the classical game theoretic tools. - [MathComp](https://math-comp.github.io) 2.0.0 or later - Coq namespace: `Decision` - Related publication(s): - - [Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant (2022)](https://ut3-toulouseinp.hal.science/hal-03782650) + - [Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant (2022)](https://doi.org/10.4230/LIPIcs.ITP.2023.25) To build and install manually, do: diff --git a/meta.yml b/meta.yml index 734225c..0865635 100644 --- a/meta.yml +++ b/meta.yml @@ -24,7 +24,7 @@ description: |- into games of complete information, i.e., without any uncertainty. publications: - - pub_url: "https://ut3-toulouseinp.hal.science/hal-03782650" + - pub_url: "https://doi.org/10.4230/LIPIcs.ITP.2023.25" pub_title: "Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant (2022)" # pub_doi: TODO