All talks
Talk 19:00

WasmRef-Isabelle: how to formally verify a not-slow interpreter...

Abstract

Watch on YouTube