R
или можно в попапе или чем то еще выводить результат
Size: a a a
2021 March 14
R
эх мож надо было пруф генерала
R
R
но у меня вьетнамские флешбеки
ᛒ
пруф генерал норм тема
R
что нихуя не работали лееры в спейсмаксе
ᛒ
бери голый емакс
R
или работали как земля
R
R
я кста в ремакс делал коммит!
V
ставил кок платформ через снап на бубунте - кокиде РАБотает норм
попробовал через вскод кокплагин - не РАБотает
хотя если руками, то
попробовал через вскод кокплагин - не РАБотает
starting coqtop
exec: /snap/bin/coqtop -v
Listening at 127.0.0.1:41381
Listening at 127.0.0.1:41493
Listening at 127.0.0.1:34583
Listening at 127.0.0.1:34219
[Warn - 2:00:08 PM] Could not detect coqtop version
хотя если руками, то
/snap/bin/coqtop -v
The Coq Proof Assistant, version 8.13.1 (February 2021)
compiled on Feb 26 2021 9:08:25 with OCaml 4.07.1
w
Vasiliy
ставил кок платформ через снап на бубунте - кокиде РАБотает норм
попробовал через вскод кокплагин - не РАБотает
хотя если руками, то
попробовал через вскод кокплагин - не РАБотает
starting coqtop
exec: /snap/bin/coqtop -v
Listening at 127.0.0.1:41381
Listening at 127.0.0.1:41493
Listening at 127.0.0.1:34583
Listening at 127.0.0.1:34219
[Warn - 2:00:08 PM] Could not detect coqtop version
хотя если руками, то
/snap/bin/coqtop -v
The Coq Proof Assistant, version 8.13.1 (February 2021)
compiled on Feb 26 2021 9:08:25 with OCaml 4.07.1
Мне нужно что бы я мог в notepad'e читать комфортно
V
Мне нужно что бы я мог в notepad'e читать комфортно
+
R
вскок сосать получаеца
R
надо пруф генерала
R
но у трунова вроде все работает везде
