New Brunswick, NJ

Stream: Geographic locality

[Alex Kontorovich]

In case anyone is interested, the Rutgers Lean/mathlib group is restarting this week (with meetings around noon on Wed's). We meet in person, and anyone nearby is welcome to attend; may also have some talks over zoom. Feel free to contact me over email if you'd like to be on the mailing list.