Description
Box proofs for propositional and predicate logic.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.logicproof ])
.
Box proofs for propositional and predicate logic.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.logicproof ])
.
33254