• Wish list for graphical user interfaces
• Proof development
• Debugging
• Editing
• Project development
• Querying information
• Rendering / views
• Graphical notations
• Links