#coq

Візьміть $COQ-in