SF Lean Meetup
ABOUT THIS EVENT
- WHO IT IS FOR: This meetup is designed for mathematicians, computer scientists, and AI researchers interested in formal verification and functional programming.
- WHAT IT IS ABOUT: The event focuses on Lean, the powerful programming language and theorem prover used for formalizing mathematical proofs.
- FORMAT: Each session consists of a weekly presentation followed by an interactive group discussion.
Join the SF Lean Meetup for a weekly gathering dedicated to exploring the intersection of mathematics, computer science, and artificial intelligence through the lens of the Lean theorem prover. Whether you are a seasoned formal verification expert or a curious researcher, this meetup provides a collaborative space to dive deep into functional programming and automated reasoning.
Our sessions feature structured presentations that spark technical discussions on the latest developments in the Lean ecosystem. Come meet like-minded professionals in the San Francisco tech community and engage in meaningful dialogue about the future of verified software and computational mathematics.
EXPLORE MORE