Presented by
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!
Hosted By
24 Went
A Complete Logic for Non-deterministic Systems (in Lean) – Benjamin Brast-McKie
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!
Website: https://sflean.group/
Join our Discord Server
Presented by
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!
Hosted By
24 Went