Zulip Chat Archive
Stream: Geographic locality
Topic: Sarajevo, Bosnia and Herzegovina
Atif Degirmendzic (Feb 23 2024 at 20:33):
hello, I'm a 2nd year (~pure) math undergrad from Sarajevo, Bosnia. feeling very excited about lean. so far I've been learning it just for fun
Last updated: Feb 28 2026 at 14:05 UTC