Zulip Chat Archive

Stream: Formal conjectures

linkifier (1 message, latest: Dec 10 2025 at 11:41)
Bumping lean versions (2 messages, latest: Dec 09 2025 at 22:32)
Erdős Problem 774 (4 messages, latest: Dec 01 2025 at 14:34)
Vaught conjecture (3 messages, latest: Nov 21 2025 at 13:12)
Erdős Problem 1080 (9 messages, latest: Nov 18 2025 at 02:11)
student exercise: contributing to formal conjectures (16 messages, latest: Nov 15 2025 at 20:00)
Tracking update of Erdos problem website (and Erdos 975) (7 messages, latest: Oct 17 2025 at 20:23)
Erdős Problem 330 (11 messages, latest: Oct 10 2025 at 07:59)
Green's open problem list (6 messages, latest: Oct 08 2025 at 09:07)
Erdős Problem #348 (5 messages, latest: Sep 25 2025 at 11:45)
Erdős Problem 288 (6 messages, latest: Sep 25 2025 at 03:29)
Did this (2 messages, latest: Sep 24 2025 at 19:15)
Algorithms and Complexity Theory (5 messages, latest: Sep 24 2025 at 00:25)
Erdős 312 (11 messages, latest: Sep 18 2025 at 17:22)
Erdős 625: random graphs (5 messages, latest: Sep 12 2025 at 17:39)
Erdős 196 (6 messages, latest: Sep 03 2025 at 20:51)
Good first issues (2 messages, latest: Aug 26 2025 at 12:51)
channel events (1 message, latest: Aug 26 2025 at 11:43)

Last updated: Dec 20 2025 at 21:32 UTC