Mysaa/pieuvre
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Ajout de preuves

Browse Source
This commit is contained in:
Adrien Vannson
2022-05-10 13:57:02 +02:00
parent 07e7a6b4eb
commit e51762b03b
2 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/test05.8pus
+4
View File
@@ -1 +1,5 @@
((A -> A) -> B) -> B ((A -> A) -> B) -> B
intro f.
apply f.
intro x.
assumption.
tests/test07.8pus
+4
View File
@@ -1 +1,5 @@
A -> ~(~A) A -> ~(~A)
intro x.
intro f.
apply f.
assumption.