Extension Details
- Verifpal
- by Symbolic Software
- 2 Recent Installs | 60 Total Installs
- Verifpal language support and syntax highlighting for Nova.
- Repository
- Bug Reports
Readme
Verifpal provides syntax highlighting for the Verifpal protocol analysis software language.
For more information about Verifpal, check out the Verifpal website.
Release Notes
Version 1.0
Initial release