Mysaa
0 Followers · 0 Following
Repositories
46
 Projects Packages Public Activity Starred Repositories
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 new reference refs/heads/research to Mysaa/Encartes-backend from mirror 2024-07-22 07:01:45 +02:00
Mysaa synced commits to refs/heads/research at 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
Mysaa pushed to master at Mysaa/GrepoSimu 2024-07-09 19:06:47 +02:00
6e2f916927 Added offencive frontend
Mysaa pushed to master at Mysaa/scribblers-wordlists 2024-07-09 17:55:02 +02:00
273387f065 Plus de listes
Mysaa pushed to master at Mysaa/scribblers-wordlists 2024-07-09 17:22:42 +02:00
eb2e7ad28c Added boos
Mysaa pushed to master at Mysaa/GrepoSimu 2024-07-08 13:51:34 +02:00
8454e3a711 Added effects to simulator