试验场，试验场所 试验场：自动化数学工具 一个正在开发的用于（半）自动定理证明的系统，其基础是同伦类型理论，使用机器学习，既可以通过向后传播进行强化学习，也可以使用自然语言处理来吸收部分数学文献。 文献资料 主要文档在，包括 。 同一站点还托管。 文件夹包含Jupyter笔记本，其中说明了一些代码。 一些文档在。 零安装尝试 您可以在scastie上尝试零安装项目，例如。 如果要尝试自己的工作表，请添加库provvingground-core-jvm （可以在scastie的搜索中找到）。