Talk
24:00
Correct-by-Construction Cryptographic Arithmetic in Coq
More great virtual tech conferences - https://codesync.global
Speakers
Recorded at
Lambda Days 2021
Online
February 16, 2021