Skip to content

Issues: rocq-prover/coq.github.io

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

Clear current search query, filters, and sorts
1 Open 55 Closed
1 Open 55 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

Update the "Creating and Submitting a Package" documentation
#239 by ckeller was closed Mar 28, 2025
1
/refman incorrect version?
#238 by SkySkimmer was closed Jan 31, 2024
Links with anchors do not redirect properly
#235 by RalfJung was closed Dec 22, 2023
1
6
HTML redirects are cached by the browser.
#231 by Zimmi48 was closed Mar 28, 2025
8
Old links to library docs are broken
#230 by RalfJung was closed Oct 12, 2023
4
CSS is broken on standard library documentation
#228 by cryslith was closed Oct 12, 2023
Comments on the user interface page
#216 by herbelin was closed Mar 28, 2025
1
8
coq.inria.fr/ is not working/reachable.
#209 by LumaKernel was closed Nov 30, 2022
2
Hidden doc versions?
#196 by SkySkimmer was closed Oct 12, 2023
2
Remove announcement of Proof Assistants SE in about one month (mid-April).
#195 by Zimmi48 was closed Mar 28, 2025
2
https://coq.inria.fr does not work anymore from a standard IPv6 browser
#192 by erikmd was closed Apr 22, 2022
5
Replacing list of tutorials on the website with link to awesome list?
#190 by Zimmi48 was closed Mar 28, 2025
1
stdlib / library duplicate urls
#188 by SkySkimmer was closed Oct 12, 2023
2
Installation instructions do not work on latest version of opam
#175 by JasonGross was closed Sep 30, 2021
1
4
[Team page] People's names are in two different fonts.
#174 by Zimmi48 was closed Sep 28, 2021
1
The news infrastructure could be cleaned up from the Makefile.
#170 by Zimmi48 was closed Mar 28, 2025
1
Bottom half of half the #nav links from stdlib pages can't be clicked on
#163 by jmadiot was closed Mar 28, 2025
6
coq.inria.fr IPv6 issue?
#157 by erikmd was closed Aug 31, 2020
@maximedenes
3
Auto-sync not working.
#149 by Zimmi48 was closed Jun 23, 2020
7
Read the tutorial using Google Translate
#146 by ksoda was closed May 31, 2020
3
redirect coq.inria.fr/download to the wiki?
#144 by andres-erbsen was closed May 1, 2020
1
[opam-packaging] missing doc: field in template opam file
#141 by olaure01 was closed Apr 23, 2020
1
Typo in nahas_tutorial.v
#134 by langfield was closed Nov 22, 2019
2
Coq's website 404 page is not found.
#133 by Zimmi48 was closed Mar 2, 2020
1
Why does the synchronization script copies 5 times aliases.footer.conf?
#132 by Zimmi48 was closed Mar 2, 2020
1
ProTip! Add no:assignee to see everything that’s not assigned.