LaTeX natural deduction proofs using Haskell - Stack Overflow
Natural deduction - YouTube
Propositional Logic | SpringerLink
ND.sty Lemmon-style natural deduction proofs
PDF] Improving legibility of natural deduction proofs is not trivial | Semantic Scholar
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 #
LaTeX Package for Typesetting Fitch Proofs LPL-Style – Richard Zach
GitHub - OpenLogicProject/fitch: Peter Selinger's LaTeX macros for Fitch style natural deduction
New to LaTeX, trying to produce natural deduction proofs : r/LaTeX
Natural deduction - Wikipedia
Typesetting Logic Proofs in LaTeX : r/LaTeX
Proofs - Logic Matters
A natural deduction tree as seen on the webpage (cropped screenshot). | Download Scientific Diagram
GitHub - daviromero/nadia: Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
logic - Natural deduction in linear style - TeX - LaTeX Stack Exchange
Proofs - Logic Matters
Writing a natural deduction proof in Latex - TeX - LaTeX Stack Exchange
LaTeX natural deduction proofs using Haskell - Stack Overflow