如何显示非常大的树（+独立与总线证明）

Question

我正在寻找排版校样树的不同选项，并得到以下帮助用于排版校样树的最佳软件包是什么？

我没有看到任何暗示的一个问题是，是否有工具可以显示非常大的证明树（数百个节点）。我正在推测/梦想一种工具来上下导航证明树（有点像我们使用谷歌地图所做的那样）。你能想到什么适合这样做的东西吗？你会如何获得可行的东西？

-------- 第二次更新

谢谢成本加运费，我了解到varwidth（如果没有它，我们似乎会收到错误消息：Something's wrong--perhaps a missing \item. \begin{prooftree}，为什么会这样？）。然而，对于大量的证明步骤，我得到了一个裁剪的证明树。我知道我可以通过反复试验来调整边框的值。问题是：有没有办法让 latex 计算每个给定证明树的最佳值？或者至少，有没有办法提前以某种方式知道这样的值？（对于下面的例子，border=125pt就足够了）

\documentclass[border=10pt,varwidth]{standalone}
\usepackage{bussproofs}
\begin{document}
\begin{prooftree}
\AxiomC{A}
\UnaryInfC{B}
\AxiomC{C}
\BinaryInfC{D}
\AxiomC{E}
\AxiomC{F}
\BinaryInfC{G}
\UnaryInfC{H}
\BinaryInfC{J}
\AxiomC{A}
\UnaryInfC{B}
\AxiomC{C}
\BinaryInfC{D}
\AxiomC{E}
\AxiomC{F}
\BinaryInfC{G}
\UnaryInfC{H}
\BinaryInfC{J}
\BinaryInfC{JJ}
\AxiomC{A}
\UnaryInfC{B}
\AxiomC{C}
\BinaryInfC{D}
\AxiomC{E}
\AxiomC{F}
\BinaryInfC{G}
\UnaryInfC{H}
\BinaryInfC{J}
\AxiomC{A}
\UnaryInfC{B}
\AxiomC{C}
\BinaryInfC{D}
\AxiomC{E}
\AxiomC{F}
\BinaryInfC{G}
\UnaryInfC{H}
\BinaryInfC{J}
\BinaryInfC{JJ}
\BinaryInfC{JJJ}
\end{prooftree}
\end{document}

Answer 1

下列的 Steven B. Segletes 的解决方案，我们可以简单地添加varwidth：

\documentclass[border=10pt,varwidth]{standalone}
\usepackage{bussproofs}
\begin{document}
  \begin{prooftree}
    \AxiomC{A}
    \UnaryInfC{B}
    \AxiomC{C}
    \BinaryInfC{D}
    \AxiomC{E}
    \AxiomC{F}
    \BinaryInfC{G}
    \UnaryInfC{H}
    \BinaryInfC{J}
  \end{prooftree}
\end{document}