Creates mathematical diagrams with Penrose by defining types, relations and visual representation rules from natural language.接入配置该项目没有提供统一的启动命令,请按源码仓库的说明安装。