Section: Contracts and Grants with Industry
ADT Coq
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.
