3 Commits

Author	SHA1	Message	Date
Théo Marchal	fc5c89dfe6	Fixed a small typo	2024-06-11 16:28:04 +02:00
Théo Marchal	ff5f50dece	Fixed some small typos	2024-06-11 16:24:33 +02:00
Théo Marchal	3f325ffe0f	Added all N3 notions	2024-06-10 12:50:51 +02:00