Verifpal Language Support
Verifpal language support for Visual Studio Code.
Verifpal is published by Symbolic Software. It is provided as free and open source software, licensed under the GNU General Public License, version 3. Other Verifpal materials are provided under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) license.