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: Oct 04 2023 at 23:01 UTC