summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/natded/README.md
blob: bf8801aa1d88eb4fbe124d8e21f6139dc0617c68 (plain)
1
2
3
4
5
6
natded
======

A LaTeX package for natural deduction proofs in styles used by Jaśkowski and Kalish and Montague.

Package version: 0.1