Type to search extensions
Verifpal language support: highlighting, the language server built into the Verifpal binary, snippets and tasks.
