Penrose 2024-05-30 Penrose 是一个开源工具，允许用户使用直观的语言创建图表，并使用自定义的逻辑对其进行约束。它提供了一个交互式的编辑器，可以实时查看和修改图表，并可以导出为多种格式。Penrose 简化了图表创建过程，并提供了强大的自定义选项。 阅读更多 (penrose.cs.cmu.edu) 39 未分类