coq.github.io
coq.github.io copied to clipboard
coq
Source files of the coq.inria.fr website
A lot of links were broken with the migration to GitHub Pages because it doesn't support HTTP redirects. A solution based on Javascript on a 404 page was proposed by...
#### Description of the problem [This documentation](https://coq.inria.fr/opam-packaging.html) refers to https://github.com/coq/opam-coq-archive, but the repo is now called https://github.com/coq/opam.
This is a serious issue in the case of: - https://coq.inria.fr/distrib/current/refman/ - https://coq.inria.fr/distrib/current/stdlib/ - https://coq.inria.fr/distrib/current/refman/changes.html The redirection is supposed to be to the current version of the doc, but after...
#### Description of the problem Currently migrated bugs link to bugzilla attachments. [GitHub supports uploading `.txt`, `.log`, and `.zip` files](https://help.github.com/articles/file-attachments-on-issues-and-pull-requests/) as attachments on issues. I propose that for all bugs...
#169 removed our news system in the left bar and archived the existing news items as "Old news". The news infrastructure is left-over and could be partially cleaned up.
Hi, A few months ago, I wrote these comments on the page https://coq.inria.fr/user-interfaces.html. Considering the discussion started at https://coq.zulipchat.com/#narrow/stream/237661-User-interfaces-devs-.26-users/topic/Is.20there.20any.20supported.20IDE.20for.20Coq.20these.20days.3F, I make them public. 1. I would move jscoq (currently in...
This is commit 4fed741c9970f3f4efccb6c9ee53cabbde11547e from #193.
Recently, I've proposed that we could extend the list of available Coq documentation on the website to include non-English learning resources: #189. More recently, I've noticed by looking at https://www.google.com/search?q=coq+proof+course&tbm=vid...
I'm thinking that the https://coq.inria.fr/documentation page could benefit from a section listing all the available documentation in other languages than English. We could list: - the French and Chinese translation...
From any page of the stdlib, for example [this one](https://coq.inria.fr/distrib/current/stdlib/index.html), if one tries to click on "Documentation" or "Community" in the top nav bar, the mouse must point to the...
