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 (AWS, Lean FRO): Lean: Extensible, Scalable, Trusted
• Roman Soletskyi (Mistral.AI): 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.