Bringing the WebAssembly standard up to speed with SpecTec

Presented at HYTRADBOI 2025.