Adrien Vannson
|
d631cd3e93
|
Intros
|
2022-05-18 16:36:02 +02:00 |
|
|
|
d8f791328d
|
Ajout de True et de la tactique exact.
|
2022-05-18 00:53:01 +02:00 |
|
|
|
dcd0b8f2d4
|
Ajout des jolies erreur et correction de la β-reduction.
|
2022-05-17 11:33:12 +02:00 |
|
|
|
627214787e
|
Ajout de Et, ou et des tests associés.
|
2022-05-16 04:01:23 +02:00 |
|
|
|
f1f890058f
|
Merge branch 'cut'
|
2022-05-10 15:00:19 +02:00 |
|
|
|
a1276102a7
|
Ajout du cut, un peu buggé pour l'instant.
|
2022-05-10 14:17:35 +02:00 |
|
Adrien Vannson
|
98d525c58a
|
Elim
|
2022-05-10 13:41:20 +02:00 |
|
Adrien Vannson
|
5af07fff8d
|
Apply
|
2022-05-10 11:11:03 +02:00 |
|
Adrien Vannson
|
b9d507b650
|
Ajout de tactic.ml
|
2022-05-10 10:31:30 +02:00 |
|
