Hello everyone, A paper on Verifpal is now published on ePrint. It might be an interesting read to those more interested on the tool’s technical and research background: https://eprint.iacr.org/2019/971 Have a great day, Nadim Kobeissi Symbolic Software • https://symbolic.software