5 Commits

Author	SHA1	Message	Date
Théo Marchal	458749fabc	Normalization pass on all files	2025-09-05 01:19:24 +02:00
Théo Marchal	8cd58e1395	Added all N2 notions	2025-07-01 00:51:18 +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