Explore projects

Compilation des leçons d'informatiques de l'agrégation de 2020, telle qu'elles ont été revues en cours d'option D.

L3 Info ENS Lyon, PROJET 2 (second semestre)

J'abhorre ce projet, et exècre sa vaine existence

Supports de cours pour le cours ESP-3201: culture du Moyen-âge hispanique

Ce dépôt contient l'ensemble des supports du cours ESP-9209.

Yet Another Proof Asistant (for fun).

Le super projet de Martin et Gaspard

Premier devoir maison du cours de Calcul Formel (Computer Algebra) donnée par Guillaume Hanrot et Stéphan Thomassé au M1IF.