科学网我们的P vs NimToken下载P 证明的形式化验证成功！

为了严谨起见，报告一下，imToken下载， 在本机上形式化验证成功！ 但是，0 Sorry 和0 Error！ https://blog.sciencenet.cn/blog-241229-1552339.html 上一篇：P vs NP 证明的形式化验证Cook-Karp 版已经发布 ，在独立测试以后，imToken，申明：本消息可撤回，。

再上传到github！ 本次形式化验证 达到了 0公理，这里只是发个消息， 我们将在这两天让小组成员以及相关人士进行独立测试。