Outils pour utilisateurs

Outils du site


lang:rocq

Anciennes révisions

Voici les anciennes révisions de la page en cours. Pour les comparer, sélectionnez-les avec les cases à options. Pour revenir à une ancienne révision, affichez-la en cliquant sur son nom, puis cliquez sur le bouton « Modifier cette page » et enregistrez-la.

  • 2025/09/18 16:28 lang:rocq – Ajout de "Définition inductive" avec exemple root +249 B (Version actuelle)
  • 2025/09/18 16:23 Différences avec la version actuelle lang:rocq – Ajout de "Définition inductive" root +312 B
  • 2025/09/17 14:49 Différences avec la version actuelle lang:rocq – Ajout des exemples de Coq'Art root +70 B
  • 2025/09/16 12:12 Différences avec la version actuelle lang:rocq – Création avec Documentation root +976 B
lang/rocq.txt · Dernière modification : de root