Lean in Munich meetup

​Cryptographic software is (one of) the foundations of the architecture of the society we live in.

​How can we be sure these expanding foundations are stable?

​Azure Research's Son Ho will share his ideas on "Scaling Verification of Cryptographic Software with Rust and Lean"

​Come if:

• ​You are excited about Lean and verification

• ​You are concerned about the safety and security of the primitives on which we build our ever more encompassing digital lives

• ​You are wondering how theorem provers can make a lasting impact today

• ​You want to hang out with some of the most talented engineers and visionaries excited about the future of programming language

• ​You like Pizza

​Some Info:

• ​Registration closes on July 12

• ​Waitlist spots will be assigned subsequently on first come first serve basis

• ​Unless you opt out, I'll include you on the announcement for the next meetup after the Summer via a Luma blast.