/PAndQ.jl

A computer algebra system for propositional logic

Primary LanguageJuliaMIT LicenseMIT

Stargazers