• Interface for Editing Proofs
• Language Servers
• Discontinued interfaces
• Interface for Browsing Proofs
• Presenting Proofs
• Tactics packages
• Packaging extracted code
• Automation
• Utilities