Scholarly publication

Aplicação do Provador de Teoremas LEAN no Ensino de Lógica Matemática para Alunos de Sistemas de Informação: Um Estudo de Caso

Willian Bruschi Vaneli, Jefferson Oliveira Andrade

· Escola Regional de Informática do Espírito Santo

Overview

The paper presents a case study on using the Lean theorem prover to teach mathematical logic to Information Systems students.

Files and links