Apostila para a disciplina de Matemática Discreta presente nos cursos de Engenharia de Computação e Sistemas de Informação da Universidade Federal de Ouro Preto.
Para gerar o pdf da apostila basta executar o makefile.
Todo o código Coq para a apostila encontra-se na pasta code.
Todas as listas de exercícios e suas respectivas soluções encontram-se na pasta listas.