Stream:
Coq Workshop 2021
Topic:
[S4T1] Certifying assembly optimizations in Coq
Christian Doczkal
(Jul 02 2021 at 14:15)
:
Presentation given by
@Léo Gourdin
Last updated: Aug 11 2022 at 01:03 UTC