Lax Online Meeting
- 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: 30 September 2026
- Time: 10:00–11:30 CEST
- Zoom: Join the meeting
- Meeting ID:
678 2135 3815 - Password:
9qMtgVc3