Paris Lean Inaugural Meetup

Join us for the inaugural Paris Lean Meetup, generously hosted by ITN, Mines Paris – PSL, and sponsored by Mistral AI!

For this first session, we are excited to present a dream lineup featuring two talks:

• Leonardo de Moura, Chief Architect of Lean, who will attend in person
• The Mistral Team, presenting Leanstral, the first open-source code agent designed for Lean 4

We’re really looking forward to seeing you at the meetup!

After the talks, we’ll continue with some informal discussion over pizza and drinks (kindly sponsored by Mistral), a great opportunity to meet others interested in Lean, AI, and formal proofs.