Interactive Coq proofs in Neovim
Coqtail enables interactive Coq proof development in Neovim similar to CoqIDE or ProofGeneral.
Linter | Message | Location |
---|---|---|
input-labels Identify input labels that do not match package names | label 'vim-vader' does not match package name 'neovim-vader' |