我希望创建一个动态 PDF 文件来写一篇文章。这篇文章将包含一些定理。用户将单击一个定理，这将深入揭示该定理的证明。我认为这与hyperref最初在 PDF 文件中不可见的证明不同，只有单击定理才能使证明可见。如果有人也可以提供一个示例脚本，我将不胜感激。
答案1
作为网站，这会容易得多。PDF 不是很动态（一般来说，不仅仅是使用pdflatex）。我知道的唯一方法是使用 PDF 表单和 javascript。这意味着您在表单中有一个文本区域，该区域最初是空的，但按下按钮时会使用 javascript 代码填充文本。但是，这看起来不太好看，而且您只能使用普通文本。此外，我认为某些下拉操作是不可能的。
答案2
包裹ocg工具允许您定义一些图层并通过单击某处使它们处于活动状态或非活动状态。使用 ocg.sty 创建 PDF 图层是 TeXample.net 的博客中介绍如何使用它的条目。图 3 是本文是其实际用途的一个例子。
答案3
这并不是你想要的，但通过一些hyperref魔法，你可以添加一个链接，将你带到文档末尾的附录，其中包含证明，并在证明末尾有一个链接，将你带回到开始的地方。这有点像“anon”的解决方案，但在同一个文件中……
答案4
您可以模仿这一点。从一个 TeX 文件，您可以生成两个 pdf 文件，一个带有证明，一个不带有证明。每个 pdf 文件中的每个定理都有一个链接：在精简文件中单击它将带您到带有证明的文件中的相同位置；在详细文件中单击它将带您回到精简文件。
有几种软件包可让您拥有一个根据某些开关打印或不打印的环境。这些软件包xr允许您引用第二个文件。您可能需要进行搜索/替换\ref{leanfile-abc}才能\ref{verbosefile-abc}获得两组引用（除非专家有更好的主意）。