tableau solver

Projeto de Linguagem Funcional desenvolvido durante a disciplina de Linguagens de Programação ministrada na Universidade Federal Fluminense no semestre de 2022.2.

Desenvolvedores também envolvidos no projeto: