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