Skip to content

Pull requests: rocq-prover/platform

New pull request New
15 Open 253 Closed
15 Open 253 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

Only copy files if they exist
#479 opened Aug 25, 2025 by jim-portegies 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 Loading…
Give more detail on creating customized versions
#446 opened Nov 16, 2024 by jfehrle Loading…
2
[2023.11] [coq-lsp 0.2.0] [v8.20] Draft Windows build
#427 opened Sep 9, 2024 by ejgallego • Draft
Add Tactician to the platform
#423 opened Jul 19, 2024 by LasseBlaauwbroek • Draft
23
[2023.11] [coq-lsp 0.2.0] [v8.19] Draft Windows build
#399 opened Feb 5, 2024 by ejgallego • Draft
13
[2023.08] [coq-lsp 0.2.0] [v8.18] Draft Windows build
#369 opened Sep 29, 2023 by ejgallego • Draft
[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build
#368 opened Sep 26, 2023 by ejgallego • Draft
11
Add editorial board
#353 opened Jul 18, 2023 by ybertot Loading…
5
add vscoq language server
#348 opened Jun 17, 2023 by gares Loading…
1
8
Improved Macos CI
#328 opened Feb 13, 2023 by maximedenes Loading…
7
[dev pick] Add coq-lsp to dev pick.
#321 opened Jan 17, 2023 by ejgallego Loading…
6
Add CI for spell check and other linters
#231 opened Mar 23, 2022 by k4rtik • Draft
21
[wip] script to copy Coq's CI info into the platform
#44 opened Dec 15, 2020 by gares • Draft
26
ProTip! Exclude everything labeled bug with -label:bug.