SF Lean Meetup
Hosted by Rado Kirov
Registration
Past Event
About Event
This week - Vasily Ilin - "Formalizing all math. Autonomously and reliably"
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