Topics:
- Coercion Hook (6 messages, latest: Jul 03 2023 at 16:40)
- Closing event - 30/06/2023 (8 messages, latest: Jul 01 2023 at 20:44)
- plugin porting (62 messages, latest: Jun 30 2023 at 18:42)
- Autosubst-ocaml (15 messages, latest: Jun 30 2023 at 14:05)
- Rosetta stone: autoinduct f (63 messages, latest: Jun 30 2023 at 14:02)
- Rosetta stone: tomorrow (5 messages, latest: Jun 30 2023 at 09:57)
- Hiking in Cap d'Antibes (46 messages, latest: Jun 29 2023 at 15:55)
- Tomorrow's debriefing (13 messages, latest: Jun 29 2023 at 14:26)
- Rosetta stone - example proposals (85 messages, latest: Jun 29 2023 at 14:22)
- Rosetta stone: reflexive tactic (14 messages, latest: Jun 29 2023 at 12:55)
- Web fiction recommendations (1 message, latest: Jun 29 2023 at 10:39)
- Rosetta stone - real simplifier (15 messages, latest: Jun 29 2023 at 09:34)
- Beach (27 messages, latest: Jun 29 2023 at 09:21)
- Rosetta stone of extension languages (112 messages, latest: Jun 28 2023 at 12:13)
- Rosetta stone: derive show (6 messages, latest: Jun 28 2023 at 09:48)
- Excursion? (9 messages, latest: Jun 27 2023 at 18:45)
- Bug squashing (4 messages, latest: Jun 27 2023 at 13:10)
- Coq hacking tutorial (3 messages, latest: Jun 27 2023 at 11:53)
- ✔ Hotel room (1 message, latest: Jun 27 2023 at 11:06)
- Code completion for VsCoq (1 message, latest: Jun 27 2023 at 09:24)
- Hotel room (3 messages, latest: Jun 27 2023 at 09:22)
- ✔ Pub (1 message, latest: Jun 27 2023 at 09:16)
- Program (6 messages, latest: Jun 27 2023 at 08:34)
- Starting time (4 messages, latest: Jun 27 2023 at 05:58)
- Reduction rules (15 messages, latest: Jun 27 2023 at 04:31)
- Pub (1 message, latest: Jun 26 2023 at 16:32)
- "A" bus from Antibes is free (5 messages, latest: Jun 26 2023 at 15:26)
- Plugin tutorial from class (17 messages, latest: Jun 26 2023 at 15:01)
- ✔ Wiki page (1 message, latest: Jun 26 2023 at 13:29)
- stream events (2 messages, latest: Jun 26 2023 at 13:29)
- Wiki page (3 messages, latest: Jun 26 2023 at 12:59)
- Kahn building (5 messages, latest: Jun 26 2023 at 11:30)
- online event (2 messages, latest: Jun 26 2023 at 09:24)
- Sunday Night (6 messages, latest: Jun 25 2023 at 18:09)
- Project ideas (1 message, latest: Jun 25 2023 at 18:07)
- Hotels near Sophia-Antipolis (3 messages, latest: Jun 12 2023 at 16:17)
Last updated: Sep 25 2023 at 12:01 UTC