-
Notifications
You must be signed in to change notification settings - Fork 58
Pull requests: rocq-community/rocq-lsp
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Adapt to rocq-prover/rocq#22207 (record with syntax)
#1101
opened Jul 1, 2026 by
SkySkimmer
Collaborator
•
Draft
Adapt to rocq-prover/rocq#21975 (removed vernacstate cache)
#1090
opened May 5, 2026 by
SkySkimmer
Collaborator
•
Draft
Adapt to rocq-prover/rocq#19290 (Proper RR typechecker)
#1087
opened Apr 30, 2026 by
yannl35133
Contributor
Loading…
Adapt to coq/coq#19023 (Vernacexpr.subproof_kind)
kind: overlay
kind: upstream
part: serlib
#866
opened Oct 22, 2024 by
SkySkimmer
Collaborator
•
Draft
ProTip!
Mix and match filters to narrow down what you’re looking for.