Zulip Chat Archive

I'm in NYC and would be happy to meet with anyone for pair-programming type sessions (with the aspiration of eventually having something like the ICL Xena group meetings or the Cambridge group meetings)

Luis O'Shea (Feb 28 2020 at 05:19):

I too am in NYC and would be happy to meet up to discuss Lean (or related topics, e.g. "The Little Typer" and Pie).

Jalex Stark (Feb 28 2020 at 05:43):

There is a private NYC stream, and either posting here or sending me a PM is a good way to get added to it.

Julian Berman (Sep 03 2020 at 12:09):

Jalex Stark said:

There is a private NYC stream, and either posting here or sending me a PM is a good way to get added to it.

@Jalex Stark Hey! (Also from NYC and super new). Would love to get added to this.

Yakov Pechersky (Sep 03 2020 at 13:39):

Same, also I'm NYC

Julian Berman (Sep 03 2020 at 14:04):

@Yakov Pechersky ah cool, hi!

Jalex Stark (Sep 03 2020 at 14:08):

both added

Benjamin Davidson (Jan 18 2021 at 17:47):

Just discovered this stream. I'm also in NYC!

Last updated: Jul 29 2021 at 21:10 UTC

leanprover-community / mathlib