Richard Zach
Der Beitragende Richard Zach ist als Mitglied rzach der CTAN-Gemeinschaft vertreten.
Extra commands for bussproofs.sty.
LaTeX macros for Fitch-style natural deduction.
Index entries by key lookup.
Fitch-style natural deduction proofs.
Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals).
LaTeX thesis class for University of Calgary Faculty of Graduate Studies.