Skip to content

RSS

  • Home
  • Members
  • Projects
  • Tools
  • Try it
  • Talks
  • Open Positions
  • Reading Group

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

Posted in Talks

Post navigation

Previous PostBolsa de Investigação para Licenciado

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org
Proudly powered by WordPress | Theme: Goran by WordPress.com.