圣杯

Grail:范畴语法逻辑的自动证明助手。Grail系统是一个为范畴逻辑开发和原型化语法片段的工具。Grail是一个基于证明网、基于图的证明和标记演绎的自动定理证明器。