GitHub repository: JoaoAfonsoBatista/Projeto-de-Licenciatura
Primary language: Jupyter Notebook
Created: 2020-05-25T21:54:31Z
Description: A proof-search algorithm for non-classical logics