这篇文章介绍了在GeoGebra Discovery中开发的自动推理工具的改进。其中包括新的ShowProof命令，可以输出执行某个陈述的步骤序列，并表示陈述的难度或兴趣的数字。文章还提出了将论点或结论的表达作为假设组合进行比较的评估措施。
有没有专业画连杆的软件？没有，原因是这样的要求过于小众，而且有许多功能更加丰富的软件可以替代。\ 前几天一直想要实现一个专业画连杆的软件，当时考虑用html5 canvas实现（太复杂的我都不会），还专门找了物理引擎——box2DJS（注意首页上的第二个例子）。然后发现自己又开始做无用功了，几何画板（和开源实现GeoGebra）完全能够实现我的要求。\
完成下面两步后，将自动完成登录并继续当前操作。
