Skip to content

Issues: coq/rocq-prover.org

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

15 Open 10 Closed
15 Open 10 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

Package links with plus character result in broken redirect bug Something isn't working packages About the Rocq Opam Packages
#63 opened Jan 18, 2025 by palmskog
[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
Discoverability of the Roadmap
#53 opened Jan 9, 2025 by MevenBertrand
1
Install the rocq-prover instruction leads to an error
#38 opened Jan 3, 2025 by xvw
1
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
2
Example of Fixpoint in A Tour of Rocq raises warning.
#16 opened Dec 26, 2024 by Zimmi48
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-related documentation is for general opam repository documentation Improvements or additions to documentation packages About the Rocq Opam Packages
#9 opened Dec 25, 2024 by palmskog
1
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
4
Rocq Package List Organization (Platform / All packages)
#5 opened Dec 25, 2024 by mattam82
1
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
ProTip! Adding no:label will show everything without a label.