Proof calculus (using tableaux proofs) for Classical Logic #2
Description
As in the original logicky, use tableaux proofs (following Priest 2001/2008) to prove arguments in classical truth-functional logic.
(Refers to the proof-evaluating implementation, not those fancy latex trees. For now.)