# viper.nvim
Simple highlighting tool for the verification language viper.