We will meet Fridays 11am-noon in Evans 748, starting on June 24.
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").