Adrien Vannson d631cd3e93

Intros

2022-05-18 16:36:02 +02:00

..

lambda-terms

README reduce

2022-05-17 11:38:40 +02:00

typecheck

Typecheck

2022-05-17 11:23:54 +02:00

cut-impl.8pus

Ajout de la β-réduction du λ-terme final.

2022-05-10 15:24:42 +02:00

elim-and.8pus

Ajout de Et, ou et des tests associés.

2022-05-16 04:01:23 +02:00

elim-faux.8pus

Test élimination du faux

2022-05-10 14:00:01 +02:00

elim-or.8pus

Ajout de Et, ou et des tests associés.

2022-05-16 04:01:23 +02:00

et.8pus

Et et ou

2022-05-17 13:59:35 +02:00

intro-and.8pus

Ajout de Et, ou et des tests associés.

2022-05-16 04:01:23 +02:00

intro-or.8pus

Ajout de Et, ou et des tests associés.

2022-05-16 04:01:23 +02:00

intros.8pus

Intros

2022-05-18 16:36:02 +02:00

irrefutabilite-peirce.8pus

Irrefutabilite de la loi de Peirce

2022-05-17 17:26:01 +02:00

irrefutabilite-tiers-exclu.8pus

Irréfutabilité du tiers exclus

2022-05-16 23:41:30 +02:00

ou.8pus

Et et ou

2022-05-17 13:59:35 +02:00

test01.8pus

Test 1

2022-05-10 15:13:03 +02:00

test02.8pus

Tests

2022-05-10 11:48:53 +02:00

test03.8pus

Tests

2022-05-10 11:48:53 +02:00

test04.8pus

Tests

2022-05-10 12:10:33 +02:00

test05.8pus

Ajout de preuves

2022-05-10 13:57:02 +02:00

test06.8pus

Test 6

2022-05-10 15:15:59 +02:00

test07.8pus

Ajout de preuves

2022-05-10 13:57:02 +02:00

test08.8pus

Test 8

2022-05-10 14:02:36 +02:00

vrai-pas-faux.8pus

Ajout de True et de la tactique exact.

2022-05-18 00:53:01 +02:00