2nd Lax Online Meeting (Americas)
- Wed, 7 Oct 2026
- 1 pm ET · 10 am PT
- 90 minutes
- Live online
- No Lean knowledge needed
We invite you to an online meeting
- We will discuss the very basics of Lean;
- how AI agents such as Claude Code or OpenAI Codex can help formalize mathematical results;
- how to share these results with the community through Lax.
Meeting details
- Date: Wednesday, 7 October 2026
- Time (Eastern): 1:00–2:30 pm EDT
- Time (Central): 12:00–1:30 pm CDT
- Time (Pacific): 10:00–11:30 am PDT
- Time (UTC): 17:00–18:30 UTC
- Zoom: Join the meeting
- Meeting ID:
610 6653 9476 - Password:
7Addz80S
Material from the 1st Lax Online Meeting
The first meeting took place on 30 September 2026. Here are its recording and slides.