Verifpal for Nova

What is Verifpal for Nova?

Verifpal for Nova provides syntax highlighting for the Verifpal language in Panic Software's Nova code editor.

Features

• Syntax highlighting for Verifpal models.

Verifpal for Visual Studio Code has way more features, and essentially turns Visual Studio Code into a full IDE.

Getting Started

Install Verifpal for Nova through the Nova Extension Library.

Discussion

Sign up to the Verifpal Mailing List to stay informed on the latest news and announcements regarding Verifpal, and to participate in Verifpal discussions.

License

Verifpal and Verifpal for Nova are published by Symbolic Software. They are provided as free and open source software, licensed under the GNU General Public License, version 3. The Verifpal User Manual is provided under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) license.

© Copyright 2019-2021 Nadim Kobeissi. All Rights Reserved. “Verifpal” and the “Verifpal” logo/mascot are registered trademarks of Nadim Kobeissi.