Descrição
Provas formais podem ser desenvolvidas com o pacote do provador de teoremas Lean mantido pela comunidade. É útil para quem segue projetos da comunidade Lean, bibliotecas matemáticas ou material de curso que espera esta build.
Projetos de prova são sensíveis à versão. Use a toolchain esperada pelo projeto e mantenha dependências fixadas para resultados reproduzíveis.