diff options
| -rw-r--r-- | controle-20250129.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/controle-20250129.tex b/controle-20250129.tex index 825e326..474e0c9 100644 --- a/controle-20250129.tex +++ b/controle-20250129.tex @@ -383,7 +383,7 @@ Dans cet exercice, on donne un terme de preuve Coq et on demande de retrouver le \smallskip -\textbf{(1)} \verb|fun H : A => H| +\textbf{(1)} \verb|fun (H : A) => H| \smallskip @@ -391,7 +391,7 @@ Dans cet exercice, on donne un terme de preuve Coq et on demande de retrouver le \smallskip -\textbf{(3)} \verb|fun (H1 : A -> B) (H2 : ~ B) => (fun H3 : A => H2 (H1 H3))| +\textbf{(3)} \verb|fun (H1 : A -> B) (H2 : ~ B) => (fun (H3 : A) => H2 (H1 H3))| \begin{corrige} \smallskip |