Professional · Social mixers and meetups
SF Lean Meetup
Mon, Nov 9 · 19:00 –
21:00
21:00
Also on Mon, Nov 16
MoxMox
Badges are our best guess from the listing, but may contain errors.
Share your thoughtsHey, I found this event super interesting because . . .I think this is going to be very interesting, but I wonder if . . .I'm thinking of going, and I'd love to know . . .This one caught my eye because . . .Has anyone been before? I'm curious whether . . .Share your thoughts
+1 karma per like
The SF Lean meetup: Weekly presentation and discussion about Lean, the programming language and theorem prover. Math, CS, AI and their mix all welcome. Beginners welcome. Discord Server
Heat level
Heat level
Intel Contribs