2022 Berkeley Lean Seminar
Meetings
Meetings
We will meet Fridays 11am-noon in Evans 748, starting on June 24.
Getting started
Getting started
Check out the natural number game.
Subscribe to the Berkeley Lean Seminar stream on the Lean Zulip chat (press the + button next to "Streams" and click the check mark next to "Berkeley Lean Seminar").