Archway Labs at the SF Lean Meetup

Keep your plans in one place. Free account.

Ben and Gracelyn will give a lightning talk about Archway Labs at a weekly meetup featuring presentations and discussions about formal methods, software verification, AI, and math. Beginners are welcome.

AI summary · From the event listing

Ben and Gracelyn will be giving a lightning talk about Archway Labs (https://archway-labs.ai/) 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

Mission District