neovim-coqtail 1.7.1-1.d77080e

Interactive Coq proofs in Neovim

Coqtail enables interactive Coq proof development in Neovim similar to CoqIDE or ProofGeneral.

Outputs: out
Website: https://github.com/whonore/Coqtail
Licenses: Expat
Package source: gnu/packages/vim.scm
Builds: See build status
Issues: See known issues

Installation

Install neovim-coqtail 1.7.1-1.d77080e as follows:

guix install neovim-coqtail@1.7.1-1.d77080e

Or install the latest version:

guix install neovim-coqtail

You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.