Mysaa
0 Followers · 0 Following
Repositories
44
 Projects Packages Public Activity Starred Repositories
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
Mysaa pushed to master at Mysaa/M2Internship 2024-07-20 00:53:08 +02:00
f0c9453836 Hom(GΓ,-) ---> H
a4596781d3 Changed introduction
Compare 2 commits »
Mysaa pushed to master at Mysaa/scribblers-wordlists 2024-07-19 18:07:07 +02:00
48285f6d04 Heartbeat, heartbeat, heartbeat, heart
86a7013f26 BaiesBoo
Compare 2 commits »
Mysaa pushed to master at Mysaa/M2Internship 2024-07-18 15:35:46 +02:00
a779d3ed7f More paragraphs
Mysaa pushed to master at Mysaa/M2Internship 2024-07-18 03:48:36 +02:00
e9da8a9107 Adapt the construction of the adjunction
b27dcbd2ca Modified first part, constructing the category
545dbd7553 Changed intro to be more understandable
Compare 3 commits »
Mysaa pushed to master at Mysaa/scribblers-wordlists 2024-07-18 02:02:41 +02:00
4ea2a67cb6 Mata part en couilles
dc8ff348a1 Ajout de jeux vidéoz
4f2f5a0b0c DES BOOOOOSSSSSS
Compare 3 commits »
Mysaa pushed to master at Mysaa/scribblers-wordlists 2024-07-13 20:03:25 +02:00
a416dfc3a4 Manquiez-boo de boos ?
Mysaa pushed to master at Mysaa/scribblers-wordlists 2024-07-13 18:55:58 +02:00
9e00fc0579 Merge remote-tracking branch 'origin/master'
60542e8923 Boooos
31e7e5c0f5 More boos
Compare 3 commits »
Mysaa pushed to master at Mysaa/M2Internship 2024-07-12 13:17:39 +02:00
d247b98bc5 Modifications