Theorems and proofs - Overleaf, Online LaTeX Editor
Output of \qed symbol in LaTeX within a proof environment at the end of an enumerate statement - Stack Overflow
minipage - Clean way to write a two column proof - TeX - LaTeX Stack Exchange
LAFF-On 1.6.2 Typesetting proofs with LaTeX - YouTube
Theorems and proofs - Overleaf, Online LaTeX Editor
Editing a Very Poorly Written Proof – David Richeson: Division by Zero
math mode - How to properly format a proof/explanation with multiple points of alignment? - TeX - LaTeX Stack Exchange
Casting Out Nines: How to convert a “backwards” proof into a “forwards” proof
Theorem Environments
Equations - Proof by Induction
Creating an example environment structured exactly like amsthm's proof environment - TeX - LaTeX Stack Exchange
math mode - Which packages/practices are relevant for writing Structured Derivations? (similar to Dijkstra's calculational style of proofs) - TeX - LaTeX Stack Exchange
theorem - Latex- Lemma shows black rectangle at the end - Stack Overflow
LaTeX Package for Typesetting Fitch Proofs LPL-Style – Richard Zach
Fancy boxes for theorem, lemma, and proof with mdframed – texblog
math mode - How to get started to typeset mathematical proofs with LaTeX? - TeX - LaTeX Stack Exchange
Proof by Cases
Proof-at-the-end, or how to move proofs in appendix in LaTeX
Theorems and Proofs - LaTeX Tutorial (Part 9) - YouTube
How to correctly format (and align) a LaTeX proof? - TeX - LaTeX Stack Exchange
How to correctly format (and align) a LaTeX proof? - TeX - LaTeX Stack Exchange
math mode - What is a proper context to write such proof by case style? - TeX - LaTeX Stack Exchange
Peter Selinger: LaTeX macros for Fitch style natural deduction
Geneseo Math 239 01 LaTeX
Equations - Proof by Induction
The Art of LaTeX: Common Mistakes, and Advice for Typesetting Beautiful, Delightful Proofs | Fan Pu Zeng
