About Us
The Stanford Lean Club was founded by Brando Miranda and is a student-run organization focused on the formalization of mathematics and software in Lean.
We believe that formal verification is the future of mathematics and software engineering, and we are dedicated to making it accessible to students and researchers at Stanford.
Our Mission
- Educate students on Lean 4 and formal verification.
- Formalize mathematics and software, advancing the state of the art in theorem proving.
- Collaborate with the global Lean community.
Join the Community
We welcome students from all backgrounds. Whether you're a mathematician, a computer scientist, or just curious about formal verification, there's a place for you here.