Provides tools for creating beautiful mathematical diagrams through natural language. Leverages Penrose's domain-specific languages for defining mathematical types, describing objects and relationships, and specifying visual representation rules.
GitHub