关于数学证明动画我有两个问题：
我知道可以使用 Beamer 包创建演示文稿。我还想使用动画。是否有选项可以像 PowerPoint 演示文稿一样呈现演示文稿，或者是否有选项将文件导出为 pdf，然后每个动画都会生成另一页？我将展示数学证明，如果我有 50 页证明，我估计如果我使用动画，pdf 中可能会有 2000 页，这可能会增加计算机的负担，并且不太容易绕过文件。
我想在自然演绎中写证明，我很高兴发现有一套来编写它们。我想在课程中展示我编写的证明，因此使用 beamer 包并加入动画。我看到 Beamer 中有动画。我阅读了有关 \pause 命令的信息。我想知道是否有更复杂的方法来控制动画。例如 - 当我开始一个新框架时，我想首先显示证明的最后一个命题，以便学生知道我们的目标是什么。这意味着，页面上的最后一项应该通过单击出现，之后我想显示第一个命题。我还想区分命题和它的理由，并且不要让它们一起出现（这让学生有机会自己思考一下理由）。如果这不是可选的内置函数，那么如何编写这样的程序？我需要阅读哪些有关 Tex 编程的内容？