Skip to content

Issues: rocq-prover/rocq-prover.org

Beta
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

20 Open 36 Closed
20 Open 36 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Broken links on the Rocq platform page
#183 opened May 13, 2025 by MevenBertrand
1
Broken website links
#188 opened May 9, 2025 by RalfJung
4
Guidelines for rocq- and coq- packages
#179 opened Apr 25, 2025 by Zimmi48
Add complete listing of categories to packages page enhancement New feature or request packages About the Rocq Opam Packages
#176 opened Apr 25, 2025 by palmskog
4
Pages for individual packages do not include licensing information enhancement New feature or request packages About the Rocq Opam Packages
#164 opened Apr 20, 2025 by palmskog
Header goes offscreen when browser window is smaller than expected or default font size too large
#141 opened Mar 28, 2025 by SkySkimmer
2
Syntax Higlighting Refman and in General
#126 opened Mar 14, 2025 by thomas-lamiaux
8
Stdlib theories diagram has links that go nowhere
#113 opened Mar 12, 2025 by SkySkimmer
2
[RFC] Zulip channel/stream links for each Rocq team? enhancement New feature or request question Further information is requested
#54 opened Jan 9, 2025 by mattam82
Fix authors for Software Foundations volumes
#34 opened Jan 2, 2025 by Zimmi48
Providing rules on the use of the new name
#17 opened Dec 26, 2024 by Zimmi48
5
Support for taking pictures of Rocq team members from somewhere else than GitHub
#15 opened Dec 26, 2024 by Zimmi48
Packages should list the compatible Coq version(s) everywhere enhancement New feature or request packages About the Rocq Opam Packages
#11 opened Dec 25, 2024 by palmskog
2
opam package categories, logpath and dates are treated as regular tags packages About the Rocq Opam Packages
#7 opened Dec 25, 2024 by palmskog
Package Documentation Brainstorm packages About the Rocq Opam Packages
#6 opened Dec 25, 2024 by mattam82
5
Rocq Package List Organization (Platform / All packages)
#5 opened Dec 25, 2024 by mattam82
2
Partially auto-generate release pages from data extracted using GItHub API
#4 opened Dec 23, 2024 by Zimmi48
Add a non-English language documentation category on the website. documentation Improvements or additions to documentation
#10 opened Dec 3, 2021 by Zimmi48
5
Bugzilla attachments should live on GitHub help wanted Extra attention is needed
#144 opened Nov 6, 2017 by JasonGross
15
Add documentation on installing the development version of Rocq with opam.
#143 opened Nov 17, 2016 by coqbot
3
ProTip! Find all open issues with in progress development work with linked:pr.