Hello everyone, For those interested, there will a talk about Verifpal at Mozilla Berlin in November: https://berlin-crypto.github.io/event/verifpal.html Please attend! I will post slides as a reply to this thread after the talk. Nadim Kobeissi Symbolic Software • https://symbolic.software