Explore projects

Règlement intérieur de la Délégation générale, annexes et traductions, à tenir à jour.

Un même code de simulation d'EDP1 1D

Report on my M2 internship as part of the MPRI.

Mise en ligne des données utilisées pour la présentation du 15 juin. Code + table de données de départ extraites de la base WebOfScience (500 résultats les plus pertinents).

Why3 proofs of functions using dynamic programming (MPRI 2.36.1 project).

OCaml implementation of a typer for System FOmega (MPRI 2.4 project).