Zulip Chat Archive
Stream: Geographic locality
Topic: Trieste, Italy
Oliver Butterley (Jun 30 2025 at 08:07):
Anyone working with Lean in Trieste? ICTP or SISSA? I'm visiting 7-12 July.
Last updated: Dec 20 2025 at 21:32 UTC
Anyone working with Lean in Trieste? ICTP or SISSA? I'm visiting 7-12 July.
Last updated: Dec 20 2025 at 21:32 UTC