#coq

Получите $COQ-вход