Parallel Method for Geometry Theorem Readable Proving

• 几何定理可读证明的并行化方法