Search results

Random assertion error since recent update

Status: Open.

#680 In ms-jpq/coq_nvim;

· TheLeoP opened on Feb 1, 2025

Manual completion error

Status: Open.

#679 In ms-jpq/coq_nvim;

· 4f48 opened on Jan 24, 2025

Fuzzy matching conundrum

Status: Open.

#678 In ms-jpq/coq_nvim;

· TheLeoP opened on Jan 9, 2025

Coq_nvim with NVchad on windows

Status: Open.

#677 In ms-jpq/coq_nvim;

· Tmurdoch opened on Jan 2, 2025

Bad replacement of detected text

Status: Open.

#675 In ms-jpq/coq_nvim;

· OwOchle opened on Dec 13, 2024

Unable to work change or navigate placeholders

Status: Open.

#672 In ms-jpq/coq_nvim;

· ProfessorMinius opened on Dec 5, 2024

Weird error message when using Coq on Vimtex

Status: Open.

#671 In ms-jpq/coq_nvim;

· ndrew222 opened on Nov 18, 2024

Bug: Inline LSP breaks normal LSP(Haskell)

Status: Open.

#666 In ms-jpq/coq_nvim;

· jergk opened on Oct 12, 2024

Support for Tabby

Status: Open.

#665 In ms-jpq/coq_nvim;

· dtrckd opened on Oct 8, 2024

Failed to start server: address already in use

Status: Open.

#661 In ms-jpq/coq_nvim;

· bruvellu opened on Sep 25, 2024

LSP dart/flutter adds (…) to method name

Status: Open.

#660 In ms-jpq/coq_nvim;

· dizzib opened on Sep 20, 2024

How do I turn a text file in a custom source?

Status: Open.

#658 In ms-jpq/coq_nvim;

· nijek opened on Sep 8, 2024