El desarrollador inicial de CoC fue Thierry Coquand en el INRIA, Francia.