Proof Figure MacrosProof Figure Macros for LaTeX proof.sty (Version 3.1) I, Makoto Tatsuta, have updated my proof figure macros proof.sty so that it can be used for not only LaTeX 2.09 but also LaTeX 2e. This package helps you to write proof figures used in mathematical logic easily and beautifully. Many logicians and computer scientists have been using this package since I wrote this package in 1990. Files: proof.s
