Professional · Social mixers and meetups
SF Lean Meetup
Mon, Nov 16 · 19:00 –
21:00
21:00
MoxMox
Badges are our best guess from the listing, but may contain errors.
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