LEANification

Dedicated to learning, creating, and disseminating content about the Lean proof assistant, LEANification is an outreach project focused on producing publicly available educational materials for teaching this programming language and theorem formalization. The generated code will be made openly available in publicly accessible repositories, such as GitHub, with the aim of addressing the shortage of educational resources in this field and bringing the external community closer to this emerging technology.

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