Différences

Ci-dessous, les différences entre deux révisions de la page.

--- lang:rocq [2025/09/16 12:12] – Création avec Documentation root
+++ lang:rocq [2025/09/17 14:49] (Version actuelle) – Ajout des exemples de Coq'Art root
@@ Ligne 8: / Ligne 8: @@
 [[https://www.labri.fr/perso/casteran/CoqArt/|Coq'Art]] en français. {{ :lang:rocq:coqartf.pdf |Archive}}
+=====Exemples=====
+{{ :lang:rocq:coq-art-8.20.0.tar.gz |Coq'Art}}