P、 雷克斯

Fiedler,A.:P.rex:一个交互式的证明解释者。本文介绍了交互式证据解释系统P.rex,它能根据用户的需求随时提出问题和请求,并能灵活地作出反应。作为一个泛型系统,它可以连接到不同的定理证明器。该发行版可通过P.rex主页http://www.ags.uni sb.de/prex获得。