Topics:
- stream events (4 messages, latest: May 02 2022 at 08:44)
- Upcoming workgroup session: jsCoq and CoqDB (79 messages, latest: Mar 31 2022 at 20:29)
- DB of Coq objects (22 messages, latest: Mar 29 2022 at 02:16)
- Organization questions (112 messages, latest: Mar 23 2022 at 08:22)
- ✔ Topic disappearing (10 messages, latest: Mar 22 2022 at 18:45)
- Coq wiki getting started section (40 messages, latest: Feb 21 2022 at 14:34)
- jsCoq Hacking Session (21 messages, latest: Feb 21 2022 at 14:31)
- Proof Assistants Stack Exchange coordination (1 message, latest: Feb 21 2022 at 14:08)
- Stdlib discussion (16 messages, latest: Feb 18 2022 at 14:09)
- Bug squashing party (36 messages, latest: Feb 17 2022 at 21:30)
- Dune session (83 messages, latest: Feb 17 2022 at 17:13)
- Coq-community templates v2 (1 message, latest: Feb 17 2022 at 14:31)
- Information (34 messages, latest: Feb 17 2022 at 14:01)
- Reverse coercions (20 messages, latest: Feb 17 2022 at 13:56)
- Nix Session? (28 messages, latest: Feb 17 2022 at 12:59)
- Print Notation command (44 messages, latest: Feb 17 2022 at 12:52)
- Setting up development environment (41 messages, latest: Feb 17 2022 at 12:42)
- Diversity Session (11 messages, latest: Feb 16 2022 at 17:38)
- .vi Interfaces Proposal (46 messages, latest: Feb 16 2022 at 17:31)
- Induction principle for nested inductive types (176 messages, latest: Feb 16 2022 at 16:02)
- Debugging session? (6 messages, latest: Feb 16 2022 at 11:52)
- Coq internals (6 messages, latest: Feb 16 2022 at 09:31)
- CoqBot Hacking Session (6 messages, latest: Feb 15 2022 at 15:30)
- Dev setup and VSCode (3 messages, latest: Feb 15 2022 at 15:23)
- Elaborating the schedule (30 messages, latest: Feb 15 2022 at 13:10)
- Body as synonym for Proof (9 messages, latest: Feb 15 2022 at 13:07)
- Local canonical instances (1 message, latest: Feb 15 2022 at 09:44)
- PyCoq and SerAPI hacking (1 message, latest: Feb 15 2022 at 09:34)
- Connecting (11 messages, latest: Feb 15 2022 at 09:16)
- Software for the Hacktathon (47 messages, latest: Feb 09 2022 at 01:16)
Last updated: Oct 13 2024 at 01:02 UTC