<rexim> А еще у меня в home есть файл с именем dkdhfdf <rexim> В это файле лежит доказательство чего-то на Coq <rexim> Проблема в том, что я не знаю Coq