Lean in Munich meetup

​Munich's most important global tech export is not a car. It's the Lean programming language and theorem prover.

​Lean's Head of Engineering, Sebastian Ullrich, and his Munich based team are excited about meeting the Lean community in person.

​Lean is the basis for what Terence Tao calls a Copernican revolution in mathematics. AI discovers proofs, Lean verifies them.

​This prepares the stage for a world, where most Code is AI-generated, but verified.

​Moritz Firsching, Google @ Zurich, will talk about "Formal Conjectures and Autoformalisation" and show us how this vision plays out in practice today.

​Please note, access to the venue requires first AND last name.

​Registration will close 1 week before the event, on April 21st, and anyone on the waitlist will be notified then.