# Vim syntax highlighting for Certora

`certora.vim` provides Vim syntax highlighting directives for Certora prover's
specification language. Put it in your `~/.vim/syntax/` directory, and add a
`~/.vim/ftdetect/certora.vim` file with

    autocmd BufNewFile,BufRead *.spec set filetype=certora
    
for autodetection of the spec filetype.