coqPackages.vsrocq-language-server

Language server for the vsrocq vscode/codium extension

Name

vsrocq-language-server

Programs

• vsrocq_version_parser
• vsrocqtop
• vsrocqtop_proof_worker.opt
• vsrocqtop_tactic_worker.opt

Homepage

• https://github.com/rocq-prover/vsrocq

Version

2.3.4

License

• MIT License

Maintainers

• Cyril Cohen

Platforms

• aarch64-linux
• armv5tel-linux
• armv6l-linux
• armv7a-linux
• armv7l-linux
• i686-linux
• loongarch64-linux
• m68k-linux
• microblaze-linux
• microblazeel-linux
• mips-linux
• mips64-linux
• mips64el-linux
• mipsel-linux
• powerpc-linux
• powerpc64-linux
• powerpc64le-linux
• riscv32-linux
• riscv64-linux
• s390-linux
• s390x-linux
• x86_64-linux
• x86_64-darwin
• aarch64-darwin

Defined

Source