Différences entre les versions de « Modèle:Coq Ex »
De Wikip
m (1 révision importée) |
toross>WikiAdmin |
||
| Ligne 1 : | Ligne 1 : | ||
<includeonly>{|style='width:100%' | <includeonly>{|style='width:100%' | ||
|- | |- | ||
|style=' | |style='padding-left:1em;padding-right:1em;border-bottom-style:dashed;border-bottom-width:1px;'|{{#tag:source|{{{c|}}}|enclose='div'|style='border-style:solid'|lang=ocaml|}} | ||
|- | |- | ||
|style=' | |style='padding-left:1em;padding-right:1em;border-top-style:dashed;border-top-width:1px;'|<div style='font-family:monospace;'>{{{o|}}}</div> | ||
|}</includeonly><noinclude> | |}</includeonly><noinclude> | ||
{{Model | {{Model | ||
Version du 25 octobre 2023 à 15:24
Version : 1.36.1 4629 (2023-10-25) 20231025152411
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
|
