issues
search
coq
/
coq.github.io
Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15
stars
37
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Replacing list of tutorials on the website with link to awesome list?
#190
Zimmi48
opened
2 years ago
1
Add a non-English language documentation category on the website.
#189
Zimmi48
opened
2 years ago
3
stdlib / library duplicate urls
#188
SkySkimmer
closed
9 months ago
2
add Hydras & Co. book to documentation
#187
palmskog
closed
2 years ago
1
8.14.0
#186
silene
closed
2 years ago
4
update opam-using.html since opam-depext is no longer used
#185
Alizter
closed
2 years ago
10
add note about viewing links
#184
Alizter
closed
2 years ago
0
remove deprecation
#183
Alizter
closed
2 years ago
3
Remove normal weights for links
#182
Alizter
closed
2 years ago
6
Add Ali Caglayan to the maintainers team
#181
mattam82
closed
2 years ago
3
link updates and uniformization of book list
#180
palmskog
closed
2 years ago
0
add links to Zulip archive
#179
palmskog
closed
2 years ago
1
Remove fork me banner
#178
palmskog
closed
2 years ago
7
fix related-tools redirect mangling of hashtag
#177
palmskog
closed
2 years ago
1
remove related-tools page and links to it, point to Awesome Coq instead
#176
palmskog
closed
2 years ago
3
Installation instructions do not work on latest version of opam
#175
JasonGross
closed
2 years ago
4
[Team page] People's names are in two different fonts.
#174
Zimmi48
closed
2 years ago
0
Add link to the opam-bench project in the Coq Team
#173
clarus
closed
2 years ago
1
Add a Coq-Team page
#172
mattam82
closed
3 years ago
48
#coq moved from Freenode to Libera.Chat
#171
ryanakca
closed
3 years ago
1
The news infrastructure could be cleaned up from the Makefile.
#170
Zimmi48
opened
3 years ago
1
Archive the news section.
#169
Zimmi48
closed
3 years ago
3
Consortium: more consistent spaces
#168
SkySkimmer
closed
3 years ago
0
Redirection for coq-nix-toolbox
#167
CohenCyril
closed
3 years ago
7
Add a redirection to have a nix-shell for mathcomp
#166
CohenCyril
closed
3 years ago
4
coq platform 2021.02.0 is out
#165
gares
closed
3 years ago
0
8.13.1
#164
gares
closed
3 years ago
0
Bottom half of half the #nav links from stdlib pages can't be clicked on
#163
jmadiot
opened
3 years ago
5
Website simplification and Coq platform update.
#162
Zimmi48
closed
3 years ago
22
release 8.13.0
#161
gares
closed
3 years ago
0
No news (use Twitter instead), no version (direct to the platform).
#160
Zimmi48
closed
3 years ago
0
news: 8.13+beta1
#159
gares
closed
3 years ago
3
Announce Coq 8.12.1.
#158
Zimmi48
closed
3 years ago
0
coq.inria.fr IPv6 issue?
#157
erikmd
closed
3 years ago
3
Add link to Planet Coq
#156
Lysxia
closed
3 years ago
0
List Coqtail as supporting Vim and NeoVim
#155
whonore
closed
4 years ago
0
Open support services to non-academic partners
#154
maximedenes
closed
4 years ago
1
Privilege installing Coq via opam
#153
carlpaten
closed
3 years ago
2
Update Consortium page
#152
maximedenes
closed
4 years ago
6
Announce Coq 8.12+beta1.
#151
Zimmi48
closed
4 years ago
4
Publish the 8.11.2 release.
#150
ppedrot
closed
4 years ago
1
Auto-sync not working.
#149
Zimmi48
closed
4 years ago
7
Update to Zulip. List more communication channels.
#148
Zimmi48
closed
4 years ago
5
Recommending `opam lint --check-upstream`
#147
CohenCyril
closed
4 years ago
2
Read the tutorial using Google Translate
#146
ksoda
closed
4 years ago
3
Improve download page.
#145
Zimmi48
closed
4 years ago
1
redirect coq.inria.fr/download to the wiki?
#144
andres-erbsen
closed
4 years ago
0
Publish the 8.11.1 release.
#143
ppedrot
closed
4 years ago
4
[opam] mention doc: in the template (fix #141)
#142
gares
closed
4 years ago
0
[opam-packaging] missing doc: field in template opam file
#141
olaure01
closed
4 years ago
1
Previous
Next