💻 computer science
Not Letting Proofs Die: xLaDe, a Lean 4 Ecosystem Framework
本論文は、ソースコードを修正することなくツールチェーンのメタデータを記録し、実験環境を管理することで、言語の急速な進化に伴う課題に対処し、形式化された数学の長期的な再現性と持続可能性を確保するために設計されたLean 4エコシステムフレームワークであるxLaDeを提示する。
原論文は CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/) でライセンスされています。 これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。 免責事項の全文を読む
自分の分野の論文に埋もれていませんか？
研究キーワードに一致する最新の論文のダイジェストを毎日受け取りましょう——技術要約付き、あなたの言語で。