From 3c95807b7b8102fc56bc8d797abc68218128cfe2 Mon Sep 17 00:00:00 2001
From: Adrien Vannson <adrien.vannson@protonmail.com>
Date: Mon, 16 May 2022 23:41:30 +0200
Subject: [PATCH] =?UTF-8?q?Irr=C3=A9futabilit=C3=A9=20du=20tiers=20exclus?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 tests/irrefutabilite-tiers-exclu.8pus | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 tests/irrefutabilite-tiers-exclu.8pus

diff --git a/tests/irrefutabilite-tiers-exclu.8pus b/tests/irrefutabilite-tiers-exclu.8pus
new file mode 100644
index 0000000..a91967c
--- /dev/null
+++ b/tests/irrefutabilite-tiers-exclu.8pus
@@ -0,0 +1,13 @@
+~~(F \/ ~F)
+intro f.
+cut ~F.
+intro f2.
+cut F \/ ~F.
+assumption.
+right.
+assumption.
+intro f2.
+cut F \/ ~F.
+assumption.
+left.
+assumption.