Skip to content

Pull requests: rocq-prover/platform

New pull request New
13 Open 299 Closed
13 Open 299 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 9.2.0
#535 opened Jul 27, 2026 by Justme0606 Contributor Loading…
update documentation and bump itauto to 9.1
#533 opened Jul 23, 2026 by Justme0606 Contributor Loading…
bum coq-hott to 9.1 localy waiting opam package and add PIN rocq-core
#529 opened Jun 30, 2026 by Justme0606 Contributor 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 Contributor 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! Follow long discussions with comments:>50.