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!

J. O. (Jan 26 2022 at 20:46):

hello. im from new york as well

Matej Penciak (Aug 22 2022 at 15:18):

I just moved to NYC from Boston! Looking forward to meeting other Lean enthusiasts!

Dean Young (Sep 10 2022 at 23:35):

Hi! I'm Dean and I'm a grad student at NYU, with an interest in category theory, algebraic geometry, and number theory.

Last updated: Sep 24 2022 at 18:19 UTC

leanprover-community / mathlib