Not Letting Proofs Die: xLaDe, a Lean 4 Ecosystem Framework
Este artículo presenta xLaDe, un marco de ecosistema para Lean 4 diseñado para asegurar la reproducibilidad y sostenibilidad a largo plazo de las matemáticas formalizadas mediante el registro de metadatos de la cadena de herramientas y la gestión de entornos experimentales sin modificar el código fuente, abordando así los desafíos planteados por la rápida evolución del lenguaje.
Artículo original bajo licencia CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo
¿Ahogado en artículos de tu campo?
Recibe resúmenes diarios de los artículos más novedosos que coincidan con tus palabras clave de investigación — con resúmenes técnicos, en tu idioma.