Education
SF Lean Meetup
Über die Veranstaltung
Join us for the SF Lean Meetup! 💡 Engage in enlightening presentations and discussions centered around Lean, the cutting-edge programming language and theorem prover. 🧠 Whether you're a seasoned expert or just starting out, everyone with an interest in math, computer science, AI, and their intersections is welcome! 🚀
🔗 Join our Discord Server for further interactions and community vibes!
📍 Location: Mox
🎟️ Get your tickets here!
Ort
Mox
Route
Ort
Mox
Route
