Skip to content

Issues: coq/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

14 Open 44 Closed
14 Open 44 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 opened Jan 30, 2024 by ckeller
Remaining things to fix after GitHub Pages migration.
#233 opened Oct 12, 2023 by Zimmi48
7
HTML redirects are cached by the browser.
#231 opened Oct 11, 2023 by Zimmi48
7
Comments on the user interface page
#216 opened Jun 26, 2023 by herbelin
1
7
Remove announcement of Proof Assistants SE in about one month (mid-April).
#195 opened Mar 16, 2022 by Zimmi48
2
Replacing list of tutorials on the website with link to awesome list?
#190 opened Dec 20, 2021 by Zimmi48
1
The news infrastructure could be cleaned up from the Makefile.
#170 opened Apr 21, 2021 by Zimmi48
1
Bottom half of half the #nav links from stdlib pages can't be clicked on
#163 opened Feb 9, 2021 by jmadiot
5
Opam using: warn users that you need to install CoqIDE with opam if you want it to know about Coq packages.
#114 opened Jun 20, 2019 by Zimmi48
7
Continuous integration
#109 opened Jun 14, 2019 by maximedenes
2
Bug of the website header in the stdlib.
#93 opened Feb 28, 2019 by Zimmi48
Create developer map page
#89 opened Feb 11, 2019 by Zimmi48
6
Bugzilla attachments should live on GitHub help wanted
#234 opened Nov 6, 2017 by JasonGross
14
Expand explanation on opam
#99 opened Nov 17, 2016 by coqbot
2
ProTip! Type g i on any issue or pull request to go back to the issue listing page.