[London Learning Lean] Post-quantum cryptography, by Wrenna Robson.

Wrenna tells us about post-quantum crypto and how Lean is ready to do some of it. Her slides are here https://www.ma.imperial.ac.uk/~buzzard/xena/pdfs/Post-Quantum_Cryptography.pdf . London Learning Lean is a seminar where mathematicians discuss more advanced mathematical formalisations (i.e. typically beyond undergraduate level) in the Lean theorem prover. For a list of upcoming seminars, check out https://researchseminars.org/seminar/LondonLearningLean