English version

PPS UMR 7126 – Laboratoire
Preuves, Programmes et Systèmes

Accueil · Présentation · Membres · Publications · Séminaire · Groupes de travail · Projets · πr²

Publications · Logiciels


The research activity of the laboratory is coupled with an important software development activity spanning from the Web (Ocsigen, CDuce, Xduce, Polipo) to parallel programming (CPC, Lwt, OcamlP3L), from networks (AHCP, Babel, SFB) to the management of software packages (Edos, Mancoosi) and proof assistants (Coq).

Here is a list of software developed by PPS members (alphabetical order):