Hugo Salou – ENS L3
Sur cette page, vous trouverez différents documents pour les cours que j’ai suivi à l’ENS en L3. Certains cours ont des notes de cours en LaTeX, d’autres en Typst, d’autres manuscrites et d’autres n’en ont juste pas. N’hésitez pas à me faire remonter si jamais il y a des coquilles, quelle qu’en soit la nature (par Discord hugos29, par e-mail y.hugo.s29@gmail.com, ou directement via GitHub/GitLab ENS Lyon). Il y a également les TDs et DMs dans la plupart des cours et parfois d’autres documents supplémentaires (fiches de révision, rapports/présentation, documentation technique, etc).
Les fichiers LaTeX, Typst, et autres sont disponibles dans un dépot sur GitHub et sur GitLab ENS Lyon. N’hésitez pas à utiliser ces dépots directement si vous voyez des coquilles. J’ai aussi rassemblé les cours tapés en LaTeX en un seul document. Il contient les cours de Logique, Théorie de la Programmation et Projet fonctionnel.