Descrição
Projetos Lean mathlib podem ser criados, atualizados e gerenciados com o auxiliar leanproject. Usuários de métodos formais e matemáticos usam esta ferramenta em projetos de prova de teoremas, configuração de dependências e fluxos locais de desenvolvimento. Arquivos de projeto e versões de toolchain devem ser fixados para provas reproduzíveis.