The Incredible Proof Machine：让逻辑证明变得有趣

The Proof Machine (2016)

The Incredible Proof Machine 是一款可视化的逻辑证明工具，让你无需掌握 Isabelle 等复杂定理证明器的语法，就能通过拖拽方块来构建命题逻辑和谓词逻辑的证明。当结论变绿时，你就完成了一个完整的证明。它旨在传递证明过程中的乐趣，降低学习门槛。工具支持撤销、重做等快捷键，并能自定义任务和逻辑块。目前证明仅保存在浏览器本地，未来计划支持服务器存储。项目由 Joachim Breitner 主导，代码开源在 GitHub，欢迎社区贡献。