LEANification

LEANification aims to popularize the use of Lean, a programming language designed for the automated formalization of mathematical theorems. The project enables students and researchers to validate their solutions in a logical and accessible way. Activities include the creation of original educational materials (to address the current shortage in this field) and the release of code in public repositories (GitHub). The results will be disseminated through articles, mini-courses, and posters at academic events.

For more information: cie@impatech.edu.br.