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…
19:00 · ProfessionalConnect with inspiring women in artificial intelligence, technology, startups and digital innovation.
19:00 · Professional