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: Feb 28 2026 at 14:05 UTC