• What has already been done in Coq 8.12+beta1?
• What can still be improved in Coq 8.12.0 and further releases? (we need you!)
• :warning: How can I help?
• What's left for Coq 8.13?
• List of new pages
• Chapter Core language
• Chapter Language extensions
• Chapter Libraries and plugins
• Chapter Command-line and graphical tools