https://github.com/symbolicsoft/verifpal-nova
Verifpal extension for Panic Software's Nova editor.
https://github.com/symbolicsoft/verifpal-nova
nova-editor
Last synced: 2 months ago
JSON representation
Verifpal extension for Panic Software's Nova editor.
- Host: GitHub
- URL: https://github.com/symbolicsoft/verifpal-nova
- Owner: symbolicsoft
- License: gpl-3.0
- Created: 2023-08-19T08:23:59.000Z (almost 3 years ago)
- Default Branch: master
- Last Pushed: 2023-08-19T09:26:15.000Z (almost 3 years ago)
- Last Synced: 2026-01-25T20:45:04.525Z (5 months ago)
- Topics: nova-editor
- Homepage: https://verifpal.com
- Size: 43.9 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Verifpal for Nova
## What is Verifpal for Nova?
Verifpal for Nova provides syntax highlighting for the Verifpal language in Panic Software's [Nova](https://panic.com/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](https://lists.symbolic.software/mailman/listinfo/verifpal) 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](https://www.gnu.org/licenses/gpl-3.0.en.html). The Verifpal User Manual is provided under the [Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)](https://creativecommons.org/licenses/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.