From 0858d5c7f7410eb3c9782036c74c6b69a4f5f71d Mon Sep 17 00:00:00 2001
From: Yves Bertot <Yves.Bertot@inria.fr>
Date: Wed, 5 Oct 2022 08:53:05 +0200
Subject: [PATCH] adds references to Coq, coq-in-a-hurry, and the source code

---
 references.tex    | 6 ++++++
 short_article.tex | 1 +
 2 files changed, 7 insertions(+)
 create mode 100644 references.tex

diff --git a/references.tex b/references.tex
new file mode 100644
index 0000000..bb2026a
--- /dev/null
+++ b/references.tex
@@ -0,0 +1,6 @@
+\subsection*{Références}
+\noindent \url{https://coq.inria.fr}\\
+\url{https://gitlab.inria.fr/bertot/progcoq/account.v}\\
+\url{https://cel.archives-ouvertes.fr/inria-00001173}\\
+\url{https://www-sop.inria.fr/members/Yves.Bertot/coqartF.pdf}\\
+\url{https://github.com/coq-community/coq-art}
diff --git a/short_article.tex b/short_article.tex
index 1073c6d..d452b56 100644
--- a/short_article.tex
+++ b/short_article.tex
@@ -29,4 +29,5 @@ d'éfficacité différentes.  Ceci fera l'objet d'articles à venir, mais une
 \begin{center}
 \url{https://gitlab.inria.fr/bertot/progcoq/}
 \end{center}
+\input references.tex
 \end{document}
-- 
GitLab