Verzeichnis 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
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (333.9k).
