[Verifpal] Video: Getting Started with Verifpal

Nadim Kobeissi nadim at symbolic.software
Fri Jan 31 17:36:15 CET 2020


Hello everyone,

I’m proud to share a new 17-minute video tutorial, Getting Started with Verifpal:

https://www.youtube.com/watch?v=4__KcGU2ALE

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



More information about the Verifpal mailing list