GitHub repository: redelmann/gyminf-informatique-theorique
Primary language: TeX
Description: Notes de cours et exercices pour le cours de "Fondamentaux formels / Informatique Théorique" du programme GymInf en français