Vancouver, BC

Stream: Geographic locality

[Jake Levinson]

Anyone else in Vancouver? I'm a math prof at SFU, mostly working in algebraic geometry and combinatorics, but got interested in Lean a little over a year ago.

[Ashley Blacquiere]

Hey @Jake Levinson - I'm a faculty members at North Island College in Courtenay on Vancouver Island, but am simultaneously working on an MSc with Bruce Kapron at UVic. Not quite Vancouver, but close!

[Jake Levinson]

Hi @Ashley Blacquiere, nice to meet you! I was just in Victoria for a trip in August. Do you ever visit Vancouver?

[Ashley Blacquiere]

Hi @Jake Levinson - nice to meet you too. I don't make it across the straight very often, but if I do at some point I'll let you know.

[Marcelo Lynch]

Hey @Jake Levinson I'm in Vancouver too. I am starting to play around with Lean, as I'm very interested in what's happening / will happen in mathematics with theorem provers becoming more powerful. Had some fun with Agda back on university but nothing too serious.