# LKproof – LK Proof figure macros

The package defines a pair of commands `\infer` and
`\deduce`, that are used in constructing LK proof
diagrams.

Sources | `/macros/latex/contrib/lkproof` |

Documentation | |

Home page | http://research.nii.ac.jp/~tatsuta/index-e.html |

Version | 3.1 2005-11-24 |

Licenses | GNU General Public License |

Copyright | 1990–2005 Makoto Tatsuta |

Maintainer | Makoto Tatsuta |

Contained in | TeX Live as lkproof MiKTeX as lkproof |

Topics | Logic |

See also | proofs |

Download the contents of this package in one zip archive (253.6k).

## Announcements

## Suggestions

Maybe you are interested in the following packages as well.

## Community Comments