The SF Lean Meetup

Mox Event Space (Mission 13th St) Event source calendar Event Link: see venue calendar above ^^ 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! Join the discord - discord.com/invite/bXNPhQyjfe for more info. Host: Radoslav Kirov More info: docs.google.com/document/d/1bCJ9Y_Y13A65kJUHgvzI8_3GMCVL5Ys55m4Qoz0G8CA/edit?tab=t.0#heading=h.2ds6n3ym2aob location provided by event source: "Mox, 1680 Mission Street, San Francisco" ―――――――――― SF Stuff To Do