© Copyright 2019- Nadim
Kobeissi. All Rights Reserved. “Verifpal” and
logo/mascot are registered trademarks of Nadim Kobeissi.
Verifpal software is
provided as free and open source software, licensed
under the GPLv3. Verifpal User Manual, as well
website, are provided under the CC BY-NC-ND 4.0 license.
Published by Symbolic Software.