此存储库是网站的源代码。 物理推导图是一个专注于以下方面的项目: 主张:存在一个描述所有数学物理的有限静态有向图。 声明:图形表示是机器可解析的 要求:可以通过计算机代数系统检查图中推导步骤的有效性 截至2020年9月的状态:项目作者相信主张1和2。项目作者尚不清楚当前的计算机代数系统是否能够验证所有数学物理学。 这项工作的令人惊讶的结果是枚举了的。 发牌 软件需求 码头工人 网络浏览器 使用方法(不耐烦) git clone https://github.com/allofphysicsgraph/proofofconcept.git cd proofofconcept/v7_pi