We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Home (markdown)
Improve JSON
Mention explore.ggcr.dev
Add todo
Add a link
Add coq 8.16+rc1 & Workaround https://github.com/ocaml/opam-repository/issues/21680
docs: Adapt to https://github.com/coq-community/docker-base/pull/20
Add Alectryon link
Update a detail
Fix coq-serapi constraint
Improve a detail
Fix a remark
Improve details
Add missing word
Bump h3 to h2
Add a remark linking to admin.sh
Refactor page to improve refs
Imrpove details
Review & Update doc
fix: Use shields.io badges
Add coq-serapi