Presented by
SF Lean Meetup
Weekly presentations and discussions about formal methods, software verification, AI, and math. 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 presentations and discussions about formal methods, software verification, AI, and math. Beginners welcome!
Hosted By
24 Went