README.md 1.37 KB
Newer Older
Nadim Kobeissi's avatar
README  
Nadim Kobeissi committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
<!---
# SPDX-FileCopyrightText: © 2019-2020 Nadim Kobeissi <nadim@symbolic.software>
# SPDX-License-Identifier: CC-BY-SA-4.0
-->

# 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.

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