lang:rocq
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédente | |||
| lang:rocq [2025/09/18 16:28] – Ajout de "Définition inductive" avec exemple root | lang:rocq [2025/11/19 10:06] (Version actuelle) – [Exemples] : ajout de js explain root | ||
|---|---|---|---|
| Ligne 36: | Ligne 36: | ||
| + | [[https:// | ||
lang/rocq.txt · Dernière modification : de root