nLab
Paventhan Vivekanandan

Selected writings

Selected writings

On homotopy type theory for verified cryptography:

category: people

Created on May 11, 2021 at 04:03:38. See the history of this page for a list of all contributions to it.