Projetos acadêmicos desenvolvidos durante a cadeira de Lógica para Computação.