⌘ Tech
The SF Lean Meetup
- When
- Monday, July 13 · 7:00 PM – 8:30 PM
- Listed by
- STDISF — Luma
Mox Event Space (Mission 13th St) 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 ―――――――――― SF Stuff To Do Do not edit this event! changes will be overwritten
