Différences entre les versions de « Modèle:Coq Ex »
De Wikip
m (1 révision importée) |
m (1 version importée) |
||
| (Une version intermédiaire par un autre utilisateur non affichée) | |||
| 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 actuelle datée du 7 février 2024 à 16:15
Version : 1.36.1 4630 (2024-02-7) 20240207161537
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
|
