# natded – Typeset natural deduction proofs

The package provides commands to typeset proofs in the style used by Jaśkowski, or that of Kalish and Montague.

Sources | `/macros/latex/contrib/natded` |

Documentation | |

Version | 0.1 |

Licenses | The LaTeX Project Public License 1.3 |

Copyright | 2014 Mohammad M. Ajallooeian |

Maintainer | Mohammad M. Ajallooeian |

Contained in | TeX Live as natded MiKTeX as natded |

Topics | Proof |

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

## Suggestions

Maybe you are interested in the following packages as well.

## Community Comments