Index of /archives/text/CTAN/macros/latex/contrib/logicproof

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory - [TXT] README 2014-03-21 02:27 543 [TXT] logicproof.ins 2014-03-21 01:06 1.4K [TXT] logicproof.dtx 2014-03-21 01:06 24K [   ] logicproof.pdf 2014-03-21 01:06 54K
The `logicproof' package

This package provides environments for creating Fitch-style box proofs for
propositional and predicate logic. In this style, each line of the proof
contains a statement and a justification, and subproofs within the larger
proof are enclosed in a box. For an example of this proof style, see the manual
in logicproof.pdf.

This code is released under the LaTeX Project Public License.

History:
2014/03/20 - First version intended for public consumption
2004/12/05 - Initial version created for personal use at school