MadLean - a beginner-friendly meetup in Madrid

Stream: new members

[Hang Lu Su]

To residents of Madrid, my co-organizers and I are delighted to announce MadLean, the first Lean Meetup in Madrid!

It will take place this Wednesday at 18:00-19:30 at the Faculty of Mathematics of the Universidad Complutense room 113.

The rough plan is to:

• Assist with Lean installation :computer:.
• Show newcomers how to do simple proofs :check:.
• Share our Lean tooling :tools:.
• Discuss projects we are working on :light_bulb:.
• Hang out and have a good atmosphere while learning together :blush:.

Everyone is welcome to attend! Some of us organizers (myself included) got started recently in Lean, so don't be shy.

Further updates on this meetup will happen in #Geographic locality > Madrid, Spain.

@Jorge Luis Mayoral Perez @Pepa Montero Jimena @Juanjo Madrigal @Enrique Diaz Blanco

Poster by Pepa