Talks RSS – April 2019 Posted on 2019-05-022020-06-16 by asouto 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