为了生成传统形式的几何定理可读证明，前推法必不可少。

To produce the traditional readable proving of geometry theorem, the forward reasoning is necessary.

youdao

几何定理证明的前推法能够产生传统形式的可读证明，在定理机器证明领域占有重要的地位。

The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.

youdao

这同样也可以很好的证明，要说可读性这回事，最起码也得看看要读完多少代码才能搞明白一个功能。

There's also a good case that readability is at least partially a function of how much code you have to read.

youdao