SF Lean Meetup
Hosted by Rado Kirov
Registration
Past Event
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