Issues · rocq-community/rocq-lsp · GitHub

Labels Milestones New issue

Spurious `rocq-runtime.plugins.derive` warning in files that do not use `Derive` directly

#1084

· 4ad opened

on Mar 24, 2026

Suggestion: rocq-lsp in mv files could distinguish blocks of code and rest of document in UI

#1080

· Zimmi48 opened

on Dec 17, 2025

Wrong type in Hyp<Pp>

#1079

· Wyrdix opened

on Dec 4, 2025

Missing Errors in Promises

#1071

· Wyrdix opened

on Nov 26, 2025

support gist:/// uri

#1047

· helguo opened

on Oct 22, 2025

Support different printing modes in `petangue/goals`

kind: enhancement

#1043

· DikieDick opened

on Oct 14, 2025

·

Implement a way to set `-quiet`

kind: enhancement

part: workspace setup

#1006

· cpitclaudel opened

on Aug 17, 2025

·

flèche as a library

#983

· Lysxia opened

on Jun 20, 2025

Accessibility Packages Manager banner in the readme

#979

· pauladam94 opened

on Jun 9, 2025

·

[findlib] Performance issue with large opam switches

kind: upstream-bug

#968

· ejgallego opened

on Jun 3, 2025

·

Is adding auto expansion possible?

#965

· Humam-Alhusaini opened

on May 21, 2025

[lsp] Remove concise output mode

#956

· ejgallego opened

on May 18, 2025

·