From e51762b03b5f9f36a404af3c0ebcaf0468776bb3 Mon Sep 17 00:00:00 2001 From: Adrien Vannson Date: Tue, 10 May 2022 13:57:02 +0200 Subject: [PATCH] Ajout de preuves --- tests/test05.8pus | 4 ++++ tests/test07.8pus | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/tests/test05.8pus b/tests/test05.8pus index 2ca7773..f7b0dd9 100644 --- a/tests/test05.8pus +++ b/tests/test05.8pus @@ -1 +1,5 @@ ((A -> A) -> B) -> B +intro f. +apply f. +intro x. +assumption. diff --git a/tests/test07.8pus b/tests/test07.8pus index 16c7cd4..0528db6 100644 --- a/tests/test07.8pus +++ b/tests/test07.8pus @@ -1 +1,5 @@ A -> ~(~A) +intro x. +intro f. +apply f. +assumption.