Stream:
User interfaces devs & users
Topics:
CoqIDE on Mac M1?
(17 messages, latest: Apr 25 2022 at 10:39)
CoqIDE blank screen on MacOS
(1 message, latest: Nov 10 2021 at 13:09)
Pictures in Proof General/emacs
(1 message, latest: Oct 24 2021 at 21:35)
Spacemacs's coq layer not installing company-coq?
(1 message, latest: Oct 18 2021 at 13:53)
Zooming in shortcut Coqide
(6 messages, latest: Jul 14 2021 at 23:20)
Killing stuck Coq proof worker
(14 messages, latest: Nov 03 2020 at 09:45)
CoqIDE doesn't blend well with Ubuntu dark theme
(2 messages, latest: Oct 12 2020 at 08:11)
stream events
(2 messages, latest: May 08 2020 at 11:16)
imported from gitter room coq/user-interfaces
(9 messages, latest: Apr 16 2020 at 18:38)
Last updated: Jul 07 2022 at 03:02 UTC