• Alcides Fonseca, June 2020 — Theorem Proving with Lean for Mere mortals. (blog post) (tutorial)
• André Souto, April 2019 — (Almost) All there is to know about Quantum Cryptography. (pdf)

Full list of RSS Talks