|
|
d8f791328d
|
Ajout de True et de la tactique exact.
|
2022-05-18 00:53:01 +02:00 |
|
|
|
627214787e
|
Ajout de Et, ou et des tests associés.
|
2022-05-16 04:01:23 +02:00 |
|
|
|
905b86af2d
|
Correction de l'α-conversion.
|
2022-05-11 22:36:31 +02:00 |
|
Adrien Vannson
|
5b7784184d
|
Indentation
|
2022-05-08 22:34:25 +02:00 |
|
Adrien Vannson
|
fc7317b2d0
|
Parse tactics
|
2022-05-08 20:03:29 +02:00 |
|
Adrien Vannson
|
4d6287f2cd
|
Lecture d'une formule à prouver
|
2022-05-08 18:10:00 +02:00 |
|
|
|
19a4354c66
|
Ajout de l'α-conversion et des fonctions d'affichage des λ-termes et des types.
|
2022-05-03 15:13:58 +02:00 |
|
|
|
1d760b1565
|
Ajout des types et des fonctions à implémenter.
|
2022-05-03 12:00:36 +02:00 |
|
