Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• 390b436365 Ajout des temps. master Mysaa 2022-08-29 12:17:07 +02:00
• d4eb15cbe0 Petites corrections de fin. Mysaa 2022-08-29 01:45:26 +02:00
• 671c64867e Petites correction du diapo Mysaa 2022-08-28 15:37:16 +02:00
• 48ba118e8d Petites modifications Mysaa 2022-08-27 19:42:47 +02:00
• ab247d4e36 Écourtage Mysaa 2022-08-27 18:27:47 +02:00
• 9c00e37561 Ajout de pauses Mysaa 2022-08-27 13:52:04 +02:00
• 741155f474 Ajout du diapo pour la soutenance. Mysaa 2022-08-26 16:08:43 +02:00
• 43839abed3 Typos et plus petit toc Mysaa 2022-08-19 20:37:41 +02:00
• e158907268 Prise en compte des commentaires de Clément - Preuves Mysaa 2022-08-18 19:17:42 +02:00
• c81d730465 Commentaires en français, vingtpagisation Mysaa 2022-08-18 17:01:36 +02:00
• 93f99896e4 Prise en compte des Commentaires de Clément - Corps Mysaa 2022-08-18 16:09:25 +02:00
• 95521344c6 Typos Mysaa 2022-08-18 04:59:09 +02:00
• df93d905ce Prise en compte des commentaires de Daniele Mysaa 2022-08-18 04:47:37 +02:00
• 6591b1c3ce Optimisation pour les 20 pages Mysaa 2022-08-14 12:09:11 +02:00
• ee742cb8a6 Ajout d'une citation. Mysaa 2022-08-14 02:00:30 +02:00
• 396db085ec Ajout de la preuve de la première propriété. Mysaa 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. Mysaa 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. Mysaa 2022-08-13 18:15:07 +02:00
• f36103f0e8 Ajout d'une explication pour l'exemple des test interfaces inimplémentables. Mysaa 2022-08-12 15:48:02 +02:00
• 1cc3b461d9 Modifications de l'introduction selon le commentaire de Clément. Mysaa 2022-08-12 15:28:18 +02:00
• 98110d6ef8 Correction de quelques erreurs LaTeX Mysaa 2022-08-12 14:16:57 +02:00
• ca485e2e77 Ajout d'un gros exemple d'utilisation de l'équivalence. Mysaa 2022-08-12 13:27:21 +02:00
• bb2c062cc8 Prise en compte des commentaires sur mes commentaires sur les commentaires de Clément. Mysaa 2022-08-09 09:10:25 +02:00
• e31a43228a Prise en compte des remarques de Daniele, esquisse d'intro et de conclusion. Mysaa 2022-08-08 23:42:32 +02:00
• e4178b644b Ever more typos Mysaa 2022-08-07 15:34:42 +02:00
• 380b23f527 Correction de quelques typos Mysaa 2022-08-07 14:55:54 +02:00
• 8e64e14dc0 Prise en compte des commentaires de Clément, partie 3 Mysaa 2022-08-07 13:28:38 +02:00
• 4848e9d71a Prise en compte des commentaire de Clément, Partie 2 Mysaa 2022-08-06 20:59:22 +02:00
• b139cc06dd Prise en compte des commentaires de Clément, partie 1 Mysaa 2022-08-04 18:38:54 +02:00
• 5c830b50d7 Preuve du second théorème. Mysaa 2022-08-04 10:45:00 +02:00
• 74b4b47860 Début de la nouvelle (j'espère bonne) preuve. Mysaa 2022-08-03 20:54:04 +02:00
• 7c741561fd Nouvelle version qui ne marche pas. Mysaa 2022-08-03 15:37:44 +02:00
• 821ed92d74 Début de preuve .... faux sûrement. Mysaa 2022-07-30 12:58:19 +02:00
• 9f708fe379 Expression du théorème pour la seconde preuve. Mysaa 2022-07-28 17:56:50 +02:00
• 6252c993e8 Ajout des commentaires visibles. Mysaa 2022-07-19 12:30:52 +02:00
• 235fbfafb5 Continuation de la preuve du context lemma. Mysaa 2022-07-18 12:10:26 +02:00
• ac36aa6a5e Ajout de la preuve du premier théorème de typage. Mysaa 2022-07-15 14:46:29 +02:00
• a9a5154c1e Modification du début du vendredi Mysaa 2022-07-01 11:16:02 +02:00
• f0ae7ca42f Avancement du rapport, jeudi. Mysaa 2022-06-30 20:18:52 +02:00
• 2364c04799 Début de la définition des test interfacesx. Mysaa 2022-06-30 12:43:55 +02:00
• 800627599e Restructuration du dossier, début du rapport de stage. Mysaa 2022-06-29 17:48:16 +02:00
• b880b5f59a Corrections suite aux indications de Clement. Mysaa 2022-06-28 11:47:54 +02:00
• c91bc559b9 Dernieres modifs Mysaa 2022-06-24 20:53:37 +02:00
• 51670b501d Ajout des notes du Mardi. Mysaa 2022-06-21 16:15:29 +02:00
• 5ffd08c62d Ajout des notes du Lundi. Mysaa 2022-06-21 11:52:06 +02:00
• 735f2d52b6 Notes jusqu'au 15 juin Mysaa 2022-06-16 15:28:24 +02:00
• 16f5177fba Ajout du code de compilation Mysaa 2022-06-10 15:16:12 +02:00
• 4c5fd08211 Premier commit - Notes Mysaa 2022-06-10 15:08:07 +02:00