Section: Highlights of the Year

Highlights of the Year

Our effort to setup a consortium around the Coq system has made significant progress this year as illustrated by two noticeable events: the first engineer was hired by InriaSoft for this consortium (Maxime Dénès) and the first funding was collected from academic partners (the first is Princeton University).