Jape: A Calculator for Animating Proof-on-Paper
Jape: A Calculator for Animating Proof-on-Paper
复制标题
Jape：纸上校样动画计算器
DOI：
10.1007/3-540-63104-6_41
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
B. Sufrin
中科院分区：
文献类型：
--
作者：
R. Bornat;B. Sufrin
如果您认为互动式定理的所有问题是毫无意义的如果您相信在图形用户界面中的按钮越多越好，请访问定理的发动机；
If you suppose that it would be pointless to simulate proof-on-paper; if you imagine that all the problems of interactive theorem-proving are solved; if you are sure that making a user interface is a matter of bolting a bit of Tcl/Tk onto a theorem-proving engine; if you believe the more buttons the better in a graphical user interfaces — read no further, lest your prejudices be disturbed!