Kyoto, JP

Stream: Geographic locality

[Dan Abramov]

Seems like a long shot but I'll be staying in Kyoto for the next few months (from ~23 Feb to ~13 Apr) and if someone's around who's learning Lean, I'd love to meet up there! I'm very new to Lean, so just working through MIL at the moment.