rocq

nvim/lua/lsp.lua

@@ -71,6 +71,7 @@ local lsp_confs = {
             },
         },
     },
+    coq_lsp = {},
     racket_langserver = {},
     ocamllsp = {},
     rust_analyzer = {

nvim/lua/options.lua

@@ -17,6 +17,8 @@ vim.g.base16colorspace = 256
 vim.g.vimtex_view_method = "zathura"
 o.termguicolors = true
 
+vim.b.coqtail_coq_prog = "coqidetop"
+
 vim.cmd [[
     augroup spellcheck
         au!
@@ -28,6 +30,7 @@ vim.cmd [[
         au BufRead,BufNewFile *.tex setlocal spell
     augroup END
 ]]
+
 o.spelllang = "en_us"
 map('i', '<C-L>', '<c-g>u<Esc>[s1z=`]a<c-g>u', { noremap = true })
 

nvim/lua/plugins.lua

@@ -21,6 +21,10 @@ return require('packer').startup({
             'mustache/vim-mustache-handlebars'
         }
 
+        use {
+            'whonore/Coqtail'
+        }
+
         use {
             'noir-lang/noir-nvim'
         }

zsh/zshrc

@@ -8,7 +8,7 @@ export INFOPATH=$INFOPATH:$HOME/.local/share/texlive/2025/texmf-dist/doc/info
 setopt vi
 
 alias gef='gdb --eval-command="source /usr/share/gef/gef.py"'
-alias pwndbg='gdb --eval-command="source $XDG_DATA_HOME/pwndbg/pwndbg/gdbinit.py"'
+# alias pwndbg='gdb --eval-command="source $XDG_DATA_HOME/pwndbg/pwndbg/gdbinit.py"'
 alias wget='wget --hsts-file="$XDG_DATA_HOME/wget-hsts"'
 alias neofetch='neofetch --kitty $XDG_CONFIG_HOME/neofetch/$(hostname).png --size 400px'
 alias la='exa -lah --icons'

zshenv

@@ -27,6 +27,7 @@ export LESSKEY="$XDG_DATA_HOME"/less/keys
 export RANDFILE="$XDG_DATA_HOME"/rnd
 export PYTHONSTARTUP="$XDG_CONFIG_HOME"/python/pythonrc
 export OPAMROOT="$XDG_DATA_HOME"/opam
+export COQBIN="$OPAMROOT/4.14.2/bin"
 
 export TEXMFHOME="$XDG_CONFIG_HOME"/texmf
 export TEXMFVAR="$XDG_CACHE_HOME"/texmf-var