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

 Name                                      Last modified      Size  Description
 Parent Directory                                               -   
 README                                    2014-03-21 02:27  543   
 logicproof.ins                            2014-03-21 01:06  1.4K  
 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