笑话

Jape:一种在纸上制作动画的计算器。如果你认为在纸上模拟证据是没有意义的;如果你想象交互定理证明的所有问题都解决了;如果你确信制作一个用户界面只是把一点Tcl/Tk放到一个定理证明引擎上;如果你认为在图形用户界面中,按钮越多越好,那就不要再读了,以免你的偏见被打乱!