Feifan He
Results
2
comments of
Feifan He
Great article. > There are five turtles I think this can't demonstrate unsoundness but incompleteness. According to the definition: * sound: all incorrect programs are rejected * complete: all correct...
A1: 不是目前的主要目标 A2: 会有。这是正在做的内容（beta分支） 个人精力有限，需要的是时间。