使用 prooftree 进行序贯演算

Question

我正在尝试使用prooftree第 58 页上的包来编写连续的微积分证明这个文件。

我怎样才能做到这一点？

Answer 1

我强烈建议您使用更好的 bussproofs.sty，而不是 prooftree.sty。

查看此页面位于 Latex for Logicians请参阅迷你插图、软件包链接以及简短但实用的 Latex for Logicians 文档。Bussproofs 很简单，并且输出效果极佳。