Différences entre les versions de « Modèle:Coq Ex »
De Wikip
m (1 version) |
|||
| Ligne 6 : | Ligne 6 : | ||
|}</includeonly><noinclude> | |}</includeonly><noinclude> | ||
{{Model | {{Model | ||
|class=lang | |||
|texte=Exemple de code Coq. | |texte=Exemple de code Coq. | ||
|syntaxe=<nowiki>{{Coq_Ex|c=|o=}}</nowiki> | |syntaxe=<nowiki>{{Coq_Ex|c=|o=}}</nowiki> | ||
Version du 29 novembre 2013 à 18:33
Version : 1.36.1 776 (2013-11-29) 20131129183350
Résumé :
Exemple de code Coq.
{{Coq_Ex|c=|o=}}
- c
- Code
- o
- Output
Exemple :
{{Coq_Ex
|c=Definition three := 3.
|o=three is defined
}}
donnera :
Definition three := 3.
|
three is defined
|
