Hosted By
SF Lean Meetup
Hosted by Rado Kirov & Adi Baradwaj
Registration
About Event
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
Hosted By