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.
jrmelog / logic-2018.1 Goto Github PK
View Code? Open in Web Editor NEWProjeto 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.