Stream: Coq Workshop 2021

Topic: [S4T1] Certifying assembly optimizations in Coq


view this post on Zulip Christian Doczkal (Jul 02 2021 at 14:15):

Presentation given by @Léo Gourdin


Last updated: Feb 09 2023 at 02:02 UTC