Istanbul, Türkiye

Stream: Geographic locality

[Abdullah Uyu]

Any users from Istanbul? I am a math undergraduate from Galatasaray University.

[Olcay Oransoy]

Hello! I'm a CS undergrad at Sabancı University. Just started learning Lean, hoping to do cool things with it in the future.

[Abdullah Uyu]

Hey! Nice to hear, we might want to organize an event some time.

[İmran Tanq]

Merhabalar

[Abdullah Uyu]

Merhaba