Presented by
SF Lean Meetup
Weekly presentations and discussions about formal methods, software verification, AI, and math. Beginners welcome!
Hosted By
8 Going
SF Lean Meetup
Registration
About Event
Talks:
Ben and Gracelyn from Archway Labs
The SF Lean meetup: Weekly presentations and discussions about formal methods, software verification, AI, and math. Beginners welcome!
Website: https://sflean.group/
Join our Discord server: Join Discord Server
Presented by
SF Lean Meetup
Weekly presentations and discussions about formal methods, software verification, AI, and math. Beginners welcome!
Hosted By
8 Going