玩这个程序,并建立一些证明在自然扣除风格。 单击公式会自动扩展公式,并包含可能的规则。 假设以蓝色打印。其中一个选定生成一个新的子树。 附加两个树通过将第一个树根拖动到第二个树的叶上完成。 如果只有一种可能性,则会自动执行此附件。 当树被红色矩形包围时,将完成校对。
玩得愉快!逻辑很有趣
版本历史记录
- 版本 1.5 发布于 2015-05-07
更好的显示
软件信息
- 软件分类: 教育 > 教学和培训工具
- 发布者: Laurent Théry
- 许可: 免费
- 价格: N/A
- 版本: 1.5
- 适用平台: android