Presented by
SF Lean Meetup
Weekly presentations and discussions about formal methods, software verification, AI, and math. Beginners welcome!
Hosted By
Alex Krentsel at the SF Lean Meetup
Registration
Approval Required
Your registration is subject to host approval.
About Event
Speaker: Alex Krentsel
Thank you Mox SF for hosting us! Mox is a coworking & community space for do-gooders in AI Safety. Check out our memberships here.
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