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