jakobjpeters / PAndQ.jl

A computer algebra system for propositional logic
16Updated 3 weeks ago

Related projects: