Repositório público da API de geração e recuperação de elementos da Lógica Proposicional. Esta API foi desenvolvida no projeto PIBIC do ciclo 2020-2023, vinculada a Universidade Federal de Alagoas - Campus Arapiraca.
Título do projeto: Síntese de fórmulas e argumentos da Lógica Proposicional
Título do plano de trabalho: Gerador de Argumentos Válidos da Lógica Proposicional
Autores: Filipe Oliveira, Elthon Oliveira e Douglas Alves