Directory macros/latex2e/contrib/natded
README.md
natded
A LaTeX package for natural deduction proofs in styles used by Jaśkowski and Kalish and Montague.
Package version: 0.1
Download the contents of this package in one zip archive (333.9k).
