README.md « natded « contrib « latex « macros - CTAN - CTAN daily syncs as git repository

summary refs log tree commit diff

path: root/macros/latex/contrib/natded/README.md

blob: bf8801aa1d88eb4fbe124d8e21f6139dc0617c68 (plain)

natded
======

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

Package version: 0.1