• Topics
• Roles
• Notes
• Coq Platform Docs
• Handling of -compat infrastructure
• Changelog for 8.20
• Rename From Coq to From Stdlib
• Removal of legacy mode for plugin loading
• Status of jsCoq