Skip to content

Pull requests: rocq-prover/platform

New pull request New
11 Open 286 Closed
11 Open 286 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat: prepare release 9.1; change switch name CP to RP; update packages
#518 opened Apr 15, 2026 by Justme0606 Collaborator Loading…
Only copy files if they exist
#479 opened Aug 25, 2025 by jim-portegies Contributor Loading…
10
markdown: add back quote
#475 opened Jun 28, 2025 by lengyijun Loading…
CI: reanmed coq.fev to rocq-prover.dev
#468 opened Apr 4, 2025 by MSoegtropIMC Collaborator Loading…
Give more detail on creating customized versions
#446 opened Nov 16, 2024 by jfehrle Member Loading…
2
Add Tactician to the platform
#423 opened Jul 19, 2024 by LasseBlaauwbroek Member • Draft
23
Add editorial board
#353 opened Jul 18, 2023 by ybertot Contributor Loading…
5
add vscoq language server
#348 opened Jun 17, 2023 by gares Member Loading…
1
8
Improved Macos CI
#328 opened Feb 13, 2023 by maximedenes Member Loading…
7
Add CI for spell check and other linters
#231 opened Mar 23, 2022 by k4rtik Contributor • Draft
21
[wip] script to copy Coq's CI info into the platform
#44 opened Dec 15, 2020 by gares Member • Draft
26
ProTip! no:milestone will show everything without a milestone.