We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Home (markdown)
Freenode closed all their channels. Users can find a new #coq channel on libera.chat.
Correct Reference Manual Link
[CUDW 2020] Add page
Add CoqLang Twitter account
link to alternative stdlibs descriptions
Link to CI status page
fix libraries and add stdpp
add books
Volume 4 of Software Foundtions added.
Remove link to archive roadmap repo
Remove dead page
Add a new Published-Works page following discussion in coq/coq#7467.
Link to all implementor workshops.
The up-to-date list of maintainers is now the CODEOWNER file in the main repo.
Add a pointer from the main page to the next Coq Implementors Workshop