CTAN: Package prooftrees
LaTeX for Logicians
The Art of LaTeX: Common Mistakes, and Advice for Typesetting Beautiful, Delightful Proofs | Fan Pu Zeng
Benefits and Uses of Natural Rubber - EDB Sri Lanka
TikZ examples feature: Trees
logic programming - Prolog - proof tree misses possibilities - Stack Overflow
Tree proofs - Logic Matters
logic - What is the best package out there to typeset proof trees? - TeX - LaTeX Stack Exchange
forest - How do I concisely typeset propositional proof trees? - TeX - LaTeX Stack Exchange
A natural deduction tree as seen on the webpage (cropped screenshot). | Download Scientific Diagram
The bussproofs-extra package
2.2 Proof Search
Propositional Logic – A Primer | 6. Proofs Using Truth Trees
semantic proof trees in ConTeXt - TeX - LaTeX Stack Exchange
Proofs - Logic Matters
Macaron Latex Balloons, 12 Inch Latex Balloon Explosion Proof Decorative for Birthday Parties for Weddings : Amazon.ca: Health & Personal Care
GitHub - simedw/Solverine: Theorem prover using sequent calculus, generates pretty proof trees in latex
Life and Livelihood Among Latex Rubber Trees
A simple Tree – LaTeX Cookbook
Lecture 20: Recursion Trees and the Master Method
Natural Deduction Systems in Logic (Stanford Encyclopedia of Philosophy)
logic - What is the best package out there to typeset proof trees? - TeX - LaTeX Stack Exchange
Tree proofs - Logic Matters
TikZ examples feature: Trees
forest - How do I concisely typeset propositional proof trees? - TeX - LaTeX Stack Exchange
How Eco-Friendly Rubber Latex Trees Contribute to Zero Waste
