Mysaa
0 Followers · 0 Following
Repositories
45
 Projects Packages Public Activity Starred Repositories
Mysaa pushed to master at Mysaa/M2Internship 2024-09-01 12:35:01 +02:00
4c7b5b604e More diapos
Mysaa pushed to master at Mysaa/M2Internship 2024-08-31 01:56:51 +02:00
44c61e7ff8 Plan complet
Mysaa pushed to master at Mysaa/M2Internship 2024-08-30 01:39:14 +02:00
84b61cc1bc Début du diapo de soutenance
Mysaa pushed to master at Mysaa/M2Internship 2024-08-20 01:10:11 +02:00
1bfa214cde Une relecture de plus ne fait jamais de mal
Mysaa pushed to master at Mysaa/M2Internship 2024-08-19 16:51:20 +02:00
c22581c3a0 Typos grammaticales
5363b3d76e Modifications d'Ambroise
Compare 2 commits »
Mysaa pushed to master at Mysaa/M2Internship 2024-08-18 19:53:10 +02:00
1019ac6702 Potypos
Mysaa pushed to master at Mysaa/M2Internship 2024-08-18 18:53:03 +02:00
1d0860712e Modification du document pour rendu. Inclusion de la synthèse dans le document
Mysaa pushed to master at Mysaa/M2Internship 2024-08-18 13:26:31 +02:00
0cdf37e75a Ajout d'une conclusion
Mysaa pushed to master at Mysaa/M2Internship 2024-08-18 12:40:57 +02:00
d9c4e0e8b2 Changement de la propriété universelle, changement des isos, coupé le gros diagramme en deux
Mysaa pushed to master at Mysaa/M2Internship 2024-08-17 01:45:20 +02:00
f6bc7f8db9 Prise en compte des commentaires, déplacement de la preuve de l'adjonction en annexe
Mysaa pushed to master at Mysaa/M2Internship 2024-08-16 20:43:07 +02:00
4effe18e0f Removing examples from the proof
639dbfbc50 Correcting example part
19f72c6f51 Ajout d'une partie exemples
Compare 3 commits »
Mysaa pushed to master at Mysaa/M2Internship 2024-08-16 02:06:24 +02:00
fa2353c84c Modification de la synthèse selon les commentaires
86dd4ec900 Renamed Graphs
17d3a5b0d8 Fixed bibliography
1b087759bb Filled part 3 (2/3)
Compare 4 commits »
Mysaa pushed to master at Mysaa/M2Internship 2024-08-14 19:15:44 +02:00
6a3547929e Modifications du rapport selon les retours. Suppression d'une bonne partie des TODO
Mysaa pushed to master at Mysaa/M2Internship 2024-08-06 11:20:38 +02:00
854aef6a88 Fin de la réharmonisation des preuves du document principal
Mysaa pushed to master at Mysaa/M2Internship 2024-08-02 11:41:58 +02:00
b3af010882 Replaced a lot of oplus to tl
87358efe42 Ajout de l'opérateur triangle, début
Compare 2 commits »
Mysaa pushed to master at Mysaa/M2Internship 2024-07-26 11:31:04 +02:00
5c75b2b701 Completed proof of reflection
Mysaa pushed to master at Mysaa/M2Internship 2024-07-25 01:14:47 +02:00
93d565a4c7 Took into account modifications
Mysaa synced commits to research at Mysaa/Encartes-backend from mirror 2024-07-22 07:01:45 +02:00
Mysaa synced new reference research to Mysaa/Encartes-backend from mirror 2024-07-22 07:01:45 +02:00
Mysaa pushed to master at Mysaa/scribblers-wordlists 2024-07-21 22:35:24 +02:00
58d182de8a Mata mal fait son boulot