• Topics
• Roles
• Notes
• CEP
• CoqIDE GUI toolkit
• Syntax highlighting
• Localization for Coq