Explore projects

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.

Devoir maison du cours Systèmes et Vérification donné par Colin Riba en M1IF.