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: May 02 2025 at 03:31 UTC