Nova^™

Verifpal provides syntax highlighting for the Verifpal protocol analysis software language.

For more information about Verifpal, check out the Verifpal website.

Version 1.0

Initial release