[Verifpal] List of Projects Using Verifpal

Nadim Kobeissi nadim at symbolic.software
Tue Jan 28 18:20:08 CET 2020


Hello everyone,

I’ve compiled this list of projects using Verifpal:
https://verifpal.com/getinvolved/#users

If your project isn’t on the list, please reply to this email!

Cheers,

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



More information about the Verifpal mailing list