彭罗斯 Penrose是仍在开发中的早期系统。 我们的系统尚未准备好供贡献或供公众使用,但希望很快会出现。 如果您有兴趣合作,请给我们发送电子邮件。 有关更多信息和示例,请参见。 有关构建,运行,测试和调试系统的更多特定于系统的信息,请参见 。 有关更多文档,请参阅Nimo Ni的。 例子 这是集合论领域中的一个简单的Penrose可视化。 由以下物质和样式程序指定。 tree.sub Set A Set B Set C Set D Set E Set F Set G Subset B A Subset C A Subset D B Subset E B Subset F C Subset G C NoIntersect E D NoIntersect F G NoIntersect B C venn.sty Set x { shape = Circle { }