Skip to content

Propositional Logic Theorem Prover written in JavaScript

License

Notifications You must be signed in to change notification settings

lucas-portela/ALP

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits
 
 
 
 
 
 
 
 

Repository files navigation

ALP - Analisador de Lógica Proposicional

Um provador de teoremas de lógica proposicional escrito em JavaScript.

Aviso de Data

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.

ALP - Propositional Logic Analyzer

A propositional logic theorem prover written in JavaScript.

Date Notice

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.

Releases

No releases published

Packages

No packages published