A Complete Logic for Non-deterministic Systems (in Lean) – Benjamin Brast-McKie
A Complete Logic for Non-deterministic Systems (in Lean) – Benjamin Brast-McKie takes place on Mon, Sep 21, 2026 at 7:00 PM (PDT) at Mox in San Francisco, CA, and runs until 9:00 PM. Entry is free; the listing is on Luma.
About this event
The SF Lean meetup: Weekly presentation and discussion about Lean, the programming language and theorem prover. Math, CS, AI and their mix all welcome. Beginners welcome! Website: https://sflean.group/Join our Discord Server
Keep going
All San Francisco events →3
more at Mox
Venue events →
894
events in September
Browse September →
96
conferences & summits this week
Conferences & Summits →
39
on today near you
Near me →
Similar events
View all →
The Liquid Factory 2026 Roadshow - San Francisco
Mon, Sep 21 · Free
The Korea Playbook for Bay Area Physical AI Founders
Mon, Sep 21 · Free
90/30 Club Reading: Reasoning-Driven Synthetic Data Generation and Evaluation
Mon, Sep 21 · Free
Monetizing AI Agents: Fireside and Q&A with Sam Green
Mon, Sep 21 · Free
Enterprise AI Summit San Francisco 2026
Tue, Sep 22 · Free
Caravan '26: The most hands-on edition yet.
Tue, Sep 22 · $900 +
SF XR/Spatial Meet Up - Pre-Meta Connect
Tue, Sep 22 · Free
SF Accounting Partner Happy Hour
Tue, Sep 22 · Free
Details
- When
- Mon, Sep 21, 2026 · 7:00 PM (PDT) · until 9:00 PM
- Where
- Mox
- Address
- Mox, 1680 Mission St, San Francisco, CA 94103, USA
- Price
- Free
- Genre
- tech
Questions
- When is A Complete Logic for Non-deterministic Systems (in Lean) – Benjamin Brast-McKie?
- Mon, Sep 21, 2026 at 7:00 PM PDT.
- How much are tickets for A Complete Logic for Non-deterministic Systems (in Lean) – Benjamin Brast-McKie?
- Entry is free.
- Where is A Complete Logic for Non-deterministic Systems (in Lean) – Benjamin Brast-McKie?
- Mox, Mox, 1680 Mission St, San Francisco, CA 94103, USA, San Francisco, CA.
- Where can I buy tickets for A Complete Logic for Non-deterministic Systems (in Lean) – Benjamin Brast-McKie?
- Tickets are sold on Luma. This page links straight to that listing; no tickets are sold here.
- What time does A Complete Logic for Non-deterministic Systems (in Lean) – Benjamin Brast-McKie end?
- It runs until 9:00 PM.