新的介绍内容：

Paperproof：Lean 4定理证明器的证明可视化工具

Paperproof是一款专门用于可视化Lean 4定理证明器证明的工具，旨在为用户提供更直观、更易理解的证明过程展示。无论您是数学爱好者还是专业研究者，Paperproof都能帮助您更清晰地理解和展示复杂的数学证明。

主要功能：

• 切换纸质证明视图： 通过简单命令Paperproof : Toggle，用户可以轻松切换到纸质证明视图，获得更直观的证明展示。

使用指南：

如需详细的使用说明，请访问我们的GitHub页面：https://github.com/Paper-Proof/paperproof。在这里，您可以找到如何安装、配置和使用Paperproof的完整指南。

总结：

Paperproof通过可视化Lean 4定理证明器的证明，为用户提供了一种全新的证明展示方式。无论您是学习数学还是进行专业研究，Paperproof都能帮助您更好地理解和展示数学证明。