GitHub repository: pedrolucasrsc/mac239-trab2
Description: Segundo Trabalho de Dedução Natural com o assistente de prova Jape