你好，请问软件是啥名字？
【 在 pluto 的大作中提到: 】
: 所有的推论都是简单的公理推论的，发现个app，推荐下，就像解谜一样，做出来神清气爽，做不出来想几天也能解出来，有点跑题，就唠叨下。
: 几何的魔力可能是，解法不止一种一种，当然这也和题目设计有关，有时候从证明的结论反推，找到和条件的桥梁也是种乐趣。有的可能有最优解，真的是简洁并合乎直觉的美。
:
--
FROM 125.107.20.*