Результаты поиска по запросу "coqide"

2 ответа

Coqide 8.5: нет подсветки синтаксиса в Linux

Я установил Coqide 8,5 Вт /

ТОП публикаций