Acadêmico(a): André Ramaciotti da Silva |
Título: Provador interativo de teoremas com tipos dependentes |
|
Downloads: |
Para salvar o arquivo, clique com o botão direitor do mouse e selecione a opção 'salvar destino como...'.
Para abrir, clique sobre o link.
|
[ + ] Download da Monografia |
|
[ + ] Download da Apresentação |
|