Mysaa/pieuvre
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
89 Commits 2 Branches 0 Tags
master
Commit Graph
21 Commits
Author SHA1 Message Date
Adrien Vannson d631cd3e93 Intros 2022-05-18 16:36:02 +02:00
Mysaa 245133b276 Merge remote-tracking branch 'origin/master' 2022-05-18 00:53:28 +02:00
Mysaa d8f791328d Ajout de True et de la tactique exact. 2022-05-18 00:53:01 +02:00
Adrien Vannson bbfdad1b78 Irrefutabilite de la loi de Peirce 2022-05-17 17:26:01 +02:00
Adrien Vannson 5d65bcdc36 Et et ou 2022-05-17 13:59:35 +02:00
Adrien Vannson 41c2b27823 README reduce 2022-05-17 11:38:40 +02:00
Adrien Vannson d78428c831 README alpha 2022-05-17 11:34:59 +02:00
Adrien Vannson 425951b1b9 Typecheck 2022-05-17 11:23:54 +02:00
Adrien Vannson 3c95807b7b Irréfutabilité du tiers exclus 2022-05-16 23:41:30 +02:00
Mysaa 627214787e Ajout de Et, ou et des tests associés. 2022-05-16 04:01:23 +02:00
Adrien Vannson 09ebe6339e Test d'alpha equivalence 2022-05-11 22:20:29 +02:00
Mysaa 92e1371027 Merge remote-tracking branch 'origin/master' 2022-05-10 15:25:38 +02:00
Mysaa 241a44528e Ajout de la β-réduction du λ-terme final. 2022-05-10 15:24:42 +02:00
Adrien Vannson 2ce406f7f2 Test 6 2022-05-10 15:15:59 +02:00
Adrien Vannson d451f1ba72 Test 1 2022-05-10 15:13:03 +02:00
Adrien Vannson 188bc43576 Modif d'un test 2022-05-10 14:15:18 +02:00
Adrien Vannson f6be1ad6da Test 8 2022-05-10 14:02:36 +02:00
Adrien Vannson 7eb605eb83 Test élimination du faux 2022-05-10 14:00:01 +02:00
Adrien Vannson e51762b03b Ajout de preuves 2022-05-10 13:57:02 +02:00
Adrien Vannson 4ca1a65529 Tests 2022-05-10 12:10:33 +02:00
Adrien Vannson 8fc318b75e Tests 2022-05-10 11:48:53 +02:00