LogList
#8113 + 6
2017-01-20T22:48:40.757Z
<rexim> А еще у меня в home есть файл с именем dkdhfdf <rexim> В это файле лежит доказательство чего-то на Coq <rexim> Проблема в том, что я не знаю Coq
+ 6