Jorge Gomes's repositories
Logic-2018.1
Projeto do componente curricular Lógica Aplicada à Computação, onde foi implementado a prova de duas fórmulas lógicas utilizando a linguagem de programação Isabelle.
Language:Jupyter Notebook000
Language:Jupyter Notebook000