visual-theorem-proving

The Incredible Proof Machine 是一款可视化工具，通过拖拽并连接模块来在各种逻辑中进行证明。它旨在让定理证明变得既易于理解又有趣，无需传统证明工具的语法。