The contributor Richard Zach appears to be present as the CTAN community member rzach.
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