lean4
已收录下载：1条
-
新的介绍内容：Paperproof：Lean4定理证明器的证明可视化工具Paperproof是一款专门用于可视化Lean4定理证明器证明的工具，旨在为用户提供更直观、更易理解的证明过程展示。无论您是数学爱好者还是专业研究者，Paperproof都能帮助您更清晰地理解和展示复杂的数学证明。主要功能：切换纸质证明视图：通过简单命令Paperproof:Toggle，用户可以轻松切换到纸质证明21