Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 0858d5c7 authored by BERTOT Yves's avatar BERTOT Yves
Browse files

adds references to Coq, coq-in-a-hurry, and the source code

parent 26a3ed62
Branches
No related tags found
No related merge requests found
\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}
...@@ -29,4 +29,5 @@ d'éfficacité différentes. Ceci fera l'objet d'articles à venir, mais une ...@@ -29,4 +29,5 @@ d'éfficacité différentes. Ceci fera l'objet d'articles à venir, mais une
\begin{center} \begin{center}
\url{https://gitlab.inria.fr/bertot/progcoq/} \url{https://gitlab.inria.fr/bertot/progcoq/}
\end{center} \end{center}
\input references.tex
\end{document} \end{document}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment