TeX Users Group on X: "From #CTANL Richard Zach submitted an update to the fitch package. Version number: 1.0 2023-12-17 License type: lppl1.3 Summary description: LaTeX macros for Fitch-style natural deduction https://t.co/KYFvekZuDr #
Proofs - Logic Matters
Proofs - Logic Matters
Peter Selinger: LaTeX macros for Fitch style natural deduction
Writing a natural deduction proof in Latex - TeX - LaTeX Stack Exchange
PDF] On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem | Semantic Scholar
New to LaTeX, trying to produce natural deduction proofs : r/LaTeX
Natural deduction - Wikipedia
ND.sty Lemmon-style natural deduction proofs
LaTeX natural deduction proofs using Haskell - Stack Overflow
Constructive Logic (15-317), Fall 2009 Assignment 1: Natural Deduction