Hello everyone, Verifpal now has a syntax plugin for Vim and Neovim: https://source.symbolic.software/verifpal/verifpal/src/branch/master/tools/vim I hope some of you will find this useful. Hope you’re all having a wonderful weekend, Nadim Kobeissi Symbolic Software • https://symbolic.software