Philadelphia Area, USA

Stream: Geographic locality

[Dave Jones]

Hello from the Philadelphia area (Go Phillies!)

Just completed my first Lean proof today - 517 hard fought lines of code :sweat_smile:

That "goals accomplished" :tada: never felt so good. :relieved:

Happy Halloween, y'all

[Adam Topaz]

Hey! Just curious, where in Philly are you based? I lived there for 5 years during grad school, and I still miss it a lot!

[Dave Jones]

@Adam Topaz
Montgomery county - about 45 minutes from the city.
I don't get down there much either, these days.

[Jackie Lang]

Hi all, this thread seems quite old and not active, but I just wanted to register myself as someone in the Philadelphia area (Temple University) who is interested to find out if there are others in the area working on Lean.

[Chris Henson]

Jackie Lang said:

Hi all, this thread seems quite old and not active, but I just wanted to register myself as someone in the Philadelphia area (Temple University) who is interested to find out if there are others in the area working on Lean.

Hi! I'm a student at Drexel, just finished my first year of PhD (in CS, but my undergrad was math). There are a few of us here working in proof assistants, maybe a bit more Coq than Lean.

[Aaron Anderson]

I’m starting a postdoc at UPenn this fall.

[Tomas Ortega]

I'm moving near UPenn this July! I'd love to find others around working on Lean

[Quinn]

Im around for the summer

[Joachim Breitner]

I'll be visiting UPenn on Friday, giving a talk at the PLclub seminar:
https://www.cis.upenn.edu/~plclub/club/