Important

As of March 11, 2026, this repository is on Codeberg.

Vim support for formal languages

A package containing Vim plugins supporting various formal languages.

Currently supported:

• CryptoVerif
• EasyCrypt
• Maude
• ProVerif
• Tamarin Prover
• Verifpal

NOTE: all of these plugins are still under development and some of them are still incomplete!

Installation as a Vim package

cd ~/.vim
mkdir -p pack
git clone https://github.com/lifepillar/vim-formal-package pack/formal

Installation via Package Manager

Your can install the plugin with a package Manager, i.e., Pathogen, NeoBundle, or Plug should work.

For example, with Plug add the following Plug line between the begin and end call:

Plug 'lifepillar/vim-formal-package' { dir: 'pack/formal' }

If you prefer to organize the files as in a single plugin (all autoload files in the autoload folder, all ftplugin files in the ftplugin folder, etc.), a script called convert_to_plugin.sh is provided to perform the conversion. It can be used as follows:

Plug 'lifepillar/vim-formal-package', {'do': './convert_to_plugin.sh'}