Descrição
Provas formais e programas verificados podem ser desenvolvidos com um provador de teoremas Lean 4 compilado do código-fonte. É útil para colaboradores e usuários avançados que precisam de mudanças atuais de desenvolvimento.
Builds de desenvolvimento podem mudar comportamento e compatibilidade. Use versões fixadas para cursos ou projetos de prova reproduzíveis, a menos que o projeto exija explicitamente esta build.