4 Commits

Author	SHA1	Message	Date
Théo Marchal	da9b4141a2	Second pass	2025-06-20 01:38:42 +02:00
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