Section: Contracts and Grants with Industry
TypiCal, through its participation to the development of Coq is part of the ADT (Action de Développement Logiciel) Coq. It is a specific founding by INRIA. It involves people and teams that collaborate to the implementation of the Coq proof assistant. The involved teams are the following: TypiCal, ProVal, Marelle, and r2 from INRIA as well as the CPR team from CNAM.