Abreu 0a0b1b508c Added merge function variety with watchdog		2023-02-10 10:45:34 -03:00
..
Enunciado - Lista 2.pdf	Added merge function variety with watchdog	2023-02-10 10:45:34 -03:00
Resolução Lista 2-1 - Funções proposicionais e quantificadores.pdf	Added merge function variety with watchdog	2023-02-10 10:45:34 -03:00
Resolução Lista 2-2 - Estratégias de demonstração.pdf	Added merge function variety with watchdog	2023-02-10 10:45:34 -03:00