GitHub repository: r-kana/tableaux-logica-proposiciona
Primary language: Haskell
Created: 2022-11-20T00:34:35Z
Description: Implementação de um sistema de Tableaux para a Lógica Clássica Proposicional em linguagem funcional (Haskell).