Index of /ctan/macros/latex/contrib/logicproof/

NameLast ModifiedSizeType
../ -  Directory
README2014-Mar-20 17:27:480.5Ktext/plain;charset=utf-8
logicproof.dtx2014-Mar-20 16:06:0824.0Kapplication/octet-stream
logicproof.ins2014-Mar-20 16:06:141.3Kapplication/octet-stream
logicproof.pdf2014-Mar-20 16:06:1853.7Kapplication/pdf
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
panini/0.0.8 us-west-1 b156048a-bcf3-4b4f-96ed-31e873bb3711