PESCA——序贯演算的校对编辑器

新闻。

2008年5月13日Pesca来源于黑客攻击通过格温·布兰文。

9/4/2003PESCA公司*, PESCA的扩展吉德·布伦德兰.PESCA*在初等数论中实现了机械证明搜索，使用普通PESCA中没有的切割。

2002年11月1日。PESCA移植到Zaurus PDA。请参见在这里.

2000年11月24日。修复了Roy Dyckhoff检测到的更多问题。按照他的建议，添加了命令w个，显示当前的证明树以及子节点编号。添加了一个由hbc编译的SunOS二进制文件。

2000年11月14日。修复了Roy Dyckhoff检测到的问题，到期导致效率低下P序列.p公式.同时，纠正了自然演绎中的一个错误中L->规则的翻译自然.防2自然,以及命名中的错误我的*.tex文件夹，它创建了双后缀。

可以下载程序和文档在这里.

A类太阳二元的现在可用。

可以向作者发送评论、贡献和错误报告，阿内·兰塔.