💻 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 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기
연구 분야의 논문에 파묻히고 계신가요?
연구 키워드에 맞는 최신 논문의 일일 다이제스트를 받아보세요 — 기술 요약 포함, 당신의 언어로.