SF Lean: A Complete Logic for Non-deterministic Systems (in Lean) – Benjamin Brast-McKie

Mox Event Space (Mission 13th St) Event source calendar Event Link: see venue calendar above ^^ 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! Website: sflean.group/Join our Discord Server Host: Radoslav Kirov, Adi Baradwaj More info: luma.com/2hjrz287 location provided by event source: "Mox, 1680 Mission Street, San Francisco" ―――――――――― SF Stuff To Do