笑话

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