机构名称：
¥ 1.0
shomotopy.io是一名图形证明助手，用于使用有限的半分类较高类别，作为𝑛维弦图。它是用生锈写的，并编译为WebAssembly以在Web浏览器中运行。不需要安装，并且可以在https://beta.homotopy.io上访问。它可用于简单的情况，例如绘制字符串图的tikz或构建复杂的字符串 - 格拉马式证明，因为系统检查每个输入是否可以接受。交互都通过点和点击接口进行，该接口触发操纵基础组合编码的递归算法 - 我没有时间详细介绍此信息，但是请参阅我们的随附的纸张以及先前的hossopopy.io上的工作主体。同型。您可以保存证明并通过URL与他人共享，并以类似Arxiv的方式在同型网站上永久发布它们，以便可以将其作为参考包含在论文中。
同型：oio：有限张开的球状n ...
主要关键词
相关文件推荐
