SF Lean Meetup
Education

SF Lean Meetup

Tue, Jul 14
04:00 AM – 06:00 AM
MoxFree · See website
Find similar events
About the event

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!

Found by Somo·See original
Location

Mox

Get directions

Similar events

Build Your First AI Agent Workshop

Build Your First AI Agent Workshop

15 JUL

Advanced Cell Culture with Corning

Advanced Cell Culture with Corning

15 JUL

Build From Dock: Protecting Your Company from AI Slop

Build From Dock: Protecting Your Company from AI Slop

15 JUL

Reading Group (+🧋): Senior SWE-Bench

Reading Group (+🧋): Senior SWE-Bench

16 JUL

Founding PM Circle (July)

Founding PM Circle (July)

16 JUL

This week in San Francisco

Public Works & Texture Summit W/ Louie Vega & Kana Hishiya

Public Works & Texture Summit W/ Louie Vega & Kana Hishiya

10 JUL

Louie Vega Presented By Public Works & 15Utah

Louie Vega Presented By Public Works & 15Utah

10 JUL

Sisters Female Founders Hike

Sisters Female Founders Hike

11 JUL

Founders & CMOs Full-Funnel Growth Roundtable (Series A+) w/ Growing Pies

Founders & CMOs Full-Funnel Growth Roundtable (Series A+) w/ Growing Pies

14 JUL

Now or Never

Now or Never

11 JUL

More events in San Francisco

What's on in San Francisco right nowWhat's on in San Francisco todayWhat's on in San Francisco tomorrowWhat's on in San Francisco this weekendWhat's on in San Francisco this weekWhat's on in San Francisco next weekFree events in San FranciscoAll events in San Francisco
Find similar events