[Verifpal] Verifpal Talk at Mozilla Berlin

Nadim Kobeissi nadim at symbolic.software
Tue Oct 15 14:21:52 CEST 2019

Hello everyone,

For those interested, there will a talk about Verifpal at Mozilla Berlin in November:


Please attend! I will post slides as a reply to this thread after the talk.

Nadim Kobeissi
Symbolic Software • https://symbolic.software

More information about the Verifpal mailing list