Topics:
- Reminder: Next Coq UI discussion: Monday, October 2 (1 message, latest: Sep 27 2023 at 21:54)
- Next Coq UI discussion: Monday, October 2 (5 messages, latest: Sep 16 2023 at 20:58)
- September meeting of Coq UI researchers and developers (2 messages, latest: Aug 23 2023 at 17:44)
- Next Coq UI researchers discussion: July 24 (11 messages, latest: Jul 24 2023 at 09:41)
- coq-lsp 0.1.7 (1 message, latest: Jul 11 2023 at 10:58)
- Wiki page on the general architecture of Coq interfaces (19 messages, latest: Jul 03 2023 at 14:36)
- Is there any supported IDE for Coq these days? (32 messages, latest: Jun 26 2023 at 12:40)
- Scheduling the next meeting about Coq UI research (1 message, latest: Jun 07 2023 at 17:49)
- Next topics for Coq UI research discussions (7 messages, latest: Jun 06 2023 at 17:42)
- Next meeting on User Interfaces for Coq: April 12 (11 messages, latest: Jun 01 2023 at 14:36)
- Scheduling the next meeting on Coq user interfaces (1 message, latest: Mar 21 2023 at 15:57)
- Meeting on User Interfaces (48 messages, latest: Mar 21 2023 at 14:05)
- Next meeting on user interfaces: March 21 (2 messages, latest: Mar 21 2023 at 14:05)
- Scheduling the next Coq UI discussion (11 messages, latest: Feb 17 2023 at 18:49)
- coq-lsp 0.1.5 (1 message, latest: Feb 15 2023 at 21:33)
- Next Coq UI discussion, March 21 (1 message, latest: Feb 13 2023 at 14:52)
- Plans for hints in proofs (1 message, latest: Feb 08 2023 at 09:35)
- CoqIDE on Debian (20 messages, latest: Sep 07 2022 at 14:18)
- stream events (3 messages, latest: Aug 25 2022 at 11:29)
- 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)
- imported from gitter room coq/user-interfaces (9 messages, latest: Apr 16 2020 at 18:38)
Last updated: Sep 28 2023 at 11:01 UTC