coq的特点是