Zulip Chat Archive
Stream: new members
Topic: Asellus Lombardi
Asellus Lombardi (Feb 25 2026 at 10:00):
Topic: Hello from Japan (Asellus Lombardi)
Message: Hi everyone, I am Asellus Lombardi, a 17-year-old high school student from Japan. I am very interested in additive combinatorics and analytic number theory. I'm a complete beginner in Lean, but I joined this community to learn how to formalize my mathematical ideas.
Nice to meet you!
Asellus Lombardi (Feb 25 2026 at 10:24):
Hi everyone, I am Asellus Lombardi, a 17-year-old high school student from Japan. I am very interested in additive combinatorics and analytic number theory. I'm a complete beginner in Lean, but I joined this community to learn how to formalize my mathematical ideas.
Nice to meet you!
Notification Bot (Feb 25 2026 at 10:25):
2 messages were moved here from #new members > Partial Derivatives by Ruben Van de Velde.
Last updated: Feb 28 2026 at 14:05 UTC