💻 computer science
Not Letting Proofs Die: xLaDe, a Lean 4 Ecosystem Framework
本文介绍了 xLaDe，这是一个旨在通过记录工具链元数据并在不修改源代码的情况下管理实验环境，从而确保形式化数学的长期可复现性与可持续性的 Lean 4 生态系统框架，以此应对该语言快速演进所带来的挑战。
原始论文采用 CC BY 4.0 许可（https://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。