Topics:
- stream events (4 messages, latest: May 02 2022 at 08:44)
- WG: Induction-induction (44 messages, latest: Jan 20 2021 at 12:29)
- WG: Coq Platform (306 messages, latest: Dec 13 2020 at 23:24)
- WG: Nix setup (45 messages, latest: Dec 10 2020 at 13:33)
- The scary stuff thread [you've been warned] [we troll] (265 messages, latest: Dec 06 2020 at 12:12)
- WG: Coq ecosystem (32 messages, latest: Dec 06 2020 at 11:57)
- CI with opam + caching (48 messages, latest: Dec 05 2020 at 12:37)
- fix simpl (33 messages, latest: Dec 04 2020 at 15:59)
- WG: primitive integers (24 messages, latest: Dec 04 2020 at 15:48)
- WG: MetaCoq (35 messages, latest: Dec 04 2020 at 15:28)
- Expert hotline (154 messages, latest: Dec 04 2020 at 14:31)
- Plenary sessions (122 messages, latest: Dec 04 2020 at 14:30)
- WG: coq-community template documentation (81 messages, latest: Dec 04 2020 at 14:06)
- Primitive Float print in 8.11 (20 messages, latest: Dec 04 2020 at 11:22)
- coqffi and dune (20 messages, latest: Dec 04 2020 at 09:07)
- WG: MathComp lemma naming (8 messages, latest: Dec 03 2020 at 18:30)
- votour improvements (107 messages, latest: Dec 03 2020 at 13:10)
- WG: rewrite rules (1 message, latest: Dec 03 2020 at 08:46)
- Social event (4 messages, latest: Dec 02 2020 at 18:09)
- WG: Contravariant subtyping (8 messages, latest: Dec 02 2020 at 13:49)
- Gitlab Ci for coq/coq: How to win lottery? (30 messages, latest: Dec 02 2020 at 13:47)
- The scary stuff thread [you've been warned] (62 messages, latest: Dec 01 2020 at 21:45)
- WG: Hour of Coq (1 message, latest: Dec 01 2020 at 19:59)
- WG: Backward Compatibility (1 message, latest: Dec 01 2020 at 14:34)
- Recorded audio (11 messages, latest: Dec 01 2020 at 13:00)
- WG: vm_compute support for proof by partial reflection (36 messages, latest: Dec 01 2020 at 12:29)
- WG: User telemetry (27 messages, latest: Dec 01 2020 at 09:21)
- WG: coq-community (15 messages, latest: Nov 30 2020 at 14:09)
- WG: Documentation (5 messages, latest: Nov 30 2020 at 10:02)
- Videoconference URL (16 messages, latest: Nov 30 2020 at 09:48)
- Coq debugging in vscode (2 messages, latest: Nov 30 2020 at 09:46)
- Video conferencing solution (20 messages, latest: Nov 27 2020 at 13:30)
- Jason's defense (2 messages, latest: Nov 27 2020 at 13:04)
- Working groups (6 messages, latest: Nov 16 2020 at 18:12)
- Time zone poll (19 messages, latest: Nov 16 2020 at 14:44)
- Time zones (6 messages, latest: Oct 22 2020 at 12:23)
- Status system (8 messages, latest: Oct 21 2020 at 14:46)
- Registration (3 messages, latest: Oct 09 2020 at 22:15)
- Fixing the CUDW date (26 messages, latest: Oct 09 2020 at 12:18)
- Coq dev availability in CUDW poll (1 message, latest: Sep 04 2020 at 12:22)
Last updated: Dec 07 2023 at 17:01 UTC