Sobre o projeto

Lean 4 é o repositório da linguagem de programação e provador de teoremas Lean 4, uma ferramenta para escrever e verificar provas formais, bem como desenvolver programas funcionais. O projeto fornece um guia de início rápido, uma página inicial, um tutorial de provas de teoremas, um guia de programação funcional, uma visão geral da documentação, uma referência da linguagem, notas de versão a partir da v4.0.0-m3, exemplos e diretrizes de contribuição externa. As instruções de instalação estão disponíveis no site do projeto, e o projeto pode ser compilado a partir do código-fonte seguindo o processo de compilação documentado. Pede-se aos contribuidores que leiam as diretrizes de contribuição antes de enviar alterações.