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