Not Letting Proofs Die: xLaDe, a Lean 4 Ecosystem Framework
Este artigo apresenta o xLaDe, um framework para o ecossistema Lean 4 projetado para garantir a reprodutibilidade e a sustentabilidade de longo prazo da matemática formalizada ao registrar metadados da cadeia de ferramentas e gerenciar ambientes experimentais sem modificar o código-fonte, abordando, assim, os desafios impostos pela rápida evolução da linguagem.
Artigo original sob licença CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo
Afogado em artigos na sua área?
Receba digests diários dos artigos mais recentes que correspondam às suas palavras-chave de pesquisa — com resumos técnicos, no seu idioma.