[Verifpal] Verifpal for Vim

Nadim Kobeissi nadim at symbolic.software
Sun Sep 15 12:40:25 CEST 2019

Hello everyone,

Verifpal now has a syntax plugin for Vim and Neovim:

I hope some of you will find this useful.

Hope you’re all having a wonderful weekend,

Nadim Kobeissi
Symbolic Software • https://symbolic.software

More information about the Verifpal mailing list