Um provador de teoremas de lógica proposicional escrito em JavaScript.
A data nos commits não reflete a data real de desenvolvimento. Eu escrevi este script quando era um estagiário em 2014 no Centro de Pesquisa em Arquitetura da Informação, UnB.
A propositional logic theorem prover written in JavaScript.
The date in the commits are not the real development date. I wrote this script when I was a trainee at CPAI-UnB in 2014 and now I uploaded it to GitHub.