吴文俊做的成果有没有实用化，比如初中平几证明题，有没有工具可以输入条件后自动输出证明过程

网上搜索发现还有异议的

https://bbs.pinggu.org/forum.php?mod=viewthread&tid=5579005&pid=44003068&page=1



-----------
补1
搜索到一个软件，不知道有没有人用过
https://www.onlinedown.net/soft/12451.htm
介绍

http://blog.sciencenet.cn/blog-553379-703872.html
--
修改:b0207191 FROM 120.35.11.*
FROM 120.35.11.*