Zulip Chat Archive

Stream: IMO-grand-challenge

Geometry (14 messages, latest: Sep 18 2020 at 23:06)
AITP invited talk (4 messages, latest: Sep 16 2020 at 13:57)
One olympiad geometry problem formalised (2 messages, latest: Sep 13 2020 at 01:02)
Some IMO problem solutions formalized in Isabelle/HOL (5 messages, latest: Jun 09 2020 at 18:39)
Is this happening in 2020? (8 messages, latest: May 23 2020 at 11:38)
transition systems (1 message, latest: Mar 09 2020 at 16:55)
solving procedure (3 messages, latest: Feb 23 2020 at 12:45)
geometry problems (14 messages, latest: Feb 18 2020 at 07:31)
Extracting an existential witness (1 message, latest: Jan 07 2020 at 20:42)
Reading list/sample AI (35 messages, latest: Dec 18 2019 at 07:14)
general discussion (85 messages, latest: Oct 25 2019 at 00:33)
Intermediate Language (8 messages, latest: Oct 23 2019 at 23:01)
folklore problems (3 messages, latest: Oct 23 2019 at 10:34)
problems: the source (12 messages, latest: Oct 06 2019 at 13:15)
F2F (17 messages, latest: Sep 18 2019 at 04:49)
How to help? (40 messages, latest: Sep 17 2019 at 19:40)
AI (5 messages, latest: Sep 07 2019 at 14:00)
Team (3 messages, latest: Sep 07 2019 at 13:43)
Inequalities (2 messages, latest: Sep 07 2019 at 11:22)
stream events (2 messages, latest: Sep 07 2019 at 08:33)

Last updated: Sep 19 2020 at 01:14 UTC