4 ms·INRIA, where Coq development takes place.by ocschwar 8y agoINRIA, where Coq development takes place.