Skip to content

Instantly share code, notes, and snippets.

@gmdias727

gmdias727/coq_language_server_log.md

Last active January 25, 2023 16:55
Show Gist options
  • Save gmdias727/1cc88bbdcfced42c7697467d64415eab to your computer and use it in GitHub Desktop.
Save gmdias727/1cc88bbdcfced42c7697467d64415eab to your computer and use it in GitHub Desktop.
Download ZIP
Raw
coq_language_server_log.md 
Coq Language Server: process.version: v16.14.2, process.arch: x64}
Loaded project at /home/grandehe4rt/dev/ocaml/test
Updated project root to .
Coqtop binPath is: /home/grandehe4rt/.opam/default/bin/
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment