|
|
43839abed3
|
Typos et plus petit toc
|
2022-08-19 20:37:41 +02:00 |
|
|
|
e158907268
|
Prise en compte des commentaires de Clément - Preuves
|
2022-08-18 19:17:42 +02:00 |
|
|
|
c81d730465
|
Commentaires en français, vingtpagisation
|
2022-08-18 17:01:36 +02:00 |
|
|
|
93f99896e4
|
Prise en compte des Commentaires de Clément - Corps
|
2022-08-18 16:09:25 +02:00 |
|
|
|
95521344c6
|
Typos
|
2022-08-18 04:59:09 +02:00 |
|
|
|
df93d905ce
|
Prise en compte des commentaires de Daniele
|
2022-08-18 04:47:37 +02:00 |
|
|
|
6591b1c3ce
|
Optimisation pour les 20 pages
|
2022-08-14 12:09:11 +02:00 |
|
|
|
ee742cb8a6
|
Ajout d'une citation.
|
2022-08-14 02:00:30 +02:00 |
|
|
|
396db085ec
|
Ajout de la preuve de la première propriété.
|
2022-08-13 20:02:38 +02:00 |
|
|
|
c6e5368993
|
Ajout d'un exemple de la puissance de la compairaison des class table vis-à-vis des programmes.
|
2022-08-13 18:39:38 +02:00 |
|
|
|
24544df6ff
|
Ajout de l'exemple de nécessité de la class table de test, suppression des ct communes de l'exemple.
|
2022-08-13 18:15:07 +02:00 |
|
|
|
f36103f0e8
|
Ajout d'une explication pour l'exemple des test interfaces inimplémentables.
|
2022-08-12 15:48:02 +02:00 |
|
|
|
1cc3b461d9
|
Modifications de l'introduction selon le commentaire de Clément.
|
2022-08-12 15:28:18 +02:00 |
|
|
|
98110d6ef8
|
Correction de quelques erreurs LaTeX
|
2022-08-12 14:16:57 +02:00 |
|
|
|
ca485e2e77
|
Ajout d'un gros exemple d'utilisation de l'équivalence.
|
2022-08-12 13:27:21 +02:00 |
|
|
|
bb2c062cc8
|
Prise en compte des commentaires sur mes commentaires sur les commentaires de Clément.
|
2022-08-09 09:10:25 +02:00 |
|
|
|
e31a43228a
|
Prise en compte des remarques de Daniele, esquisse d'intro et de conclusion.
|
2022-08-08 23:42:32 +02:00 |
|
|
|
e4178b644b
|
Ever more typos
|
2022-08-07 15:34:42 +02:00 |
|
|
|
380b23f527
|
Correction de quelques typos
|
2022-08-07 14:55:54 +02:00 |
|
|
|
8e64e14dc0
|
Prise en compte des commentaires de Clément, partie 3
|
2022-08-07 13:28:38 +02:00 |
|
|
|
4848e9d71a
|
Prise en compte des commentaire de Clément, Partie 2
|
2022-08-06 20:59:22 +02:00 |
|
|
|
b139cc06dd
|
Prise en compte des commentaires de Clément, partie 1
|
2022-08-04 18:38:54 +02:00 |
|
|
|
5c830b50d7
|
Preuve du second théorème.
|
2022-08-04 10:45:00 +02:00 |
|
|
|
74b4b47860
|
Début de la nouvelle (j'espère bonne) preuve.
|
2022-08-03 20:54:04 +02:00 |
|
|
|
7c741561fd
|
Nouvelle version qui ne marche pas.
|
2022-08-03 15:37:44 +02:00 |
|
|
|
821ed92d74
|
Début de preuve .... faux sûrement.
|
2022-07-30 12:58:19 +02:00 |
|
|
|
9f708fe379
|
Expression du théorème pour la seconde preuve.
|
2022-07-28 17:56:50 +02:00 |
|
|
|
6252c993e8
|
Ajout des commentaires visibles.
|
2022-07-19 12:30:52 +02:00 |
|
|
|
235fbfafb5
|
Continuation de la preuve du context lemma.
|
2022-07-18 12:10:26 +02:00 |
|
|
|
ac36aa6a5e
|
Ajout de la preuve du premier théorème de typage.
|
2022-07-15 14:46:29 +02:00 |
|
|
|
a9a5154c1e
|
Modification du début du vendredi
|
2022-07-01 11:16:02 +02:00 |
|
|
|
f0ae7ca42f
|
Avancement du rapport, jeudi.
|
2022-06-30 20:18:52 +02:00 |
|
|
|
2364c04799
|
Début de la définition des test interfacesx.
|
2022-06-30 12:43:55 +02:00 |
|
|
|
800627599e
|
Restructuration du dossier, début du rapport de stage.
|
2022-06-29 17:48:16 +02:00 |
|
