PITCH: Frege, uma library de Lógica!
E aí, tudo bem? Se você é um estudante de Ciência da Computação, Programador Autodidata ou alguém que simplesmente ama Lógica, se liga nisso aqui!
A Jornada da Lógica
Sempre fui fascinado pela Lógica e, atualmente, estou imerso em meu Trabalho de Conclusão de Curso (TCC), que também é sobre... adivinhou! Lógica! 😄 Foi nesse contexto que me dei conta de uma necessidade: uma ferramenta que tornasse todo esse processo mais suave e eficiente.
Foi então que uma ideia brilhante me ocorreu: "Por que não criar minha própria ferramenta?"
O Nascimento de Frege
Assim nasceu Frege. Uma biblioteca desenvolvida por amor à Lógica e como uma solução para meu projeto de TCC!
Frege foi concebido para facilitar tarefas relacionadas à lógica proposicional, desde a criação de fórmulas até a verificação de propriedades lógicas. Uma ferramenta bacana para estudantes, entusiastas e qualquer pessoa que deseje explorar o fascinante mundo da Lógica! 🌐💡
Um Desafio Empolgante
Ao construir essa lib, encarei diversos desafios, como encarar pela primeira vez o processo de CI/CD, entender como licenças de software funcionam e como um pacote é publicado no NPM.
Embora Frege ainda esteja em sua fase inicial, ele já possui recursos interessantes, como a capacidade de reduzir fórmulas lógicas, gerar tabelas-verdade e verificar propriedades importantes, como tautologia e contingência. E o melhor de tudo? É uma biblioteca de código aberto, o que significa que você também pode contribuir para seu crescimento! 🌱🤝
Obrigado pela atenção, e até mais!