Zulip Chat Archive
Stream: ItaLean 2025
Topic: Projects: Erdös Problems
Pietro Monticone (Dec 09 2025 at 16:35):
This thread is dedicated to the Erdös Problems project:
- Repository: ?
- Informal & Formal Manager: @Bhavik Mehta
Last updated: Dec 20 2025 at 21:32 UTC