LEANification

Dedicado ao aprendizado, criação e divulgação de conteúdo sobre o assistente de provas Lean, o LEANification é um projeto de extensão focado na produção de material didático público para o ensino dessa linguagem de programação e formalização de teoremas. Os códigos gerados serão disponibilizados abertamente em repositórios de acesso público, como o GitHub, visando mitigar a escassez de recursos didáticos na área e aproximar a comunidade externa dessa tecnologia ascendente.

Para mais informações: cie@impatech.edu.br.