math mode - What is a proper context to write such proof by case style? - 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
Solved please proof the question, all (a)(b)(c) parts! | Chegg.com
Theorems and proofs - Overleaf, Online LaTeX Editor
Creating an example environment structured exactly like amsthm's proof environment - TeX - LaTeX Stack Exchange
Geneseo Math 239 01 LaTeX
A Sample Proof Using Mathematical Induction (playing with LaTeX) | Brandon Grasley's Blog
Proof by Cases
Proof-at-the-end, or how to move proofs in appendix in LaTeX
indentation - Formal proof formatting in Latex - TeX - LaTeX Stack Exchange
How to correctly format (and align) a LaTeX proof? - TeX - LaTeX Stack Exchange
LaTeX Package for Typesetting Fitch Proofs LPL-Style – Richard Zach
Fancy boxes for theorem, lemma, and proof with mdframed – texblog
math mode - Any good way to write mathematical induction proof steps in LaTeX? - TeX - LaTeX Stack Exchange
A Sample Proof Using Mathematical Induction (playing with LaTeX) | Brandon Grasley's Blog
Fancy boxes for theorem, lemma, and proof with mdframed – texblog
Theorems and proofs - Overleaf, Online LaTeX Editor
The Art of LaTeX: Common Mistakes, and Advice for Typesetting Beautiful, Delightful Proofs | Fan Pu Zeng
What is the point of writing QED after a mathematical proof? - Quora
minipage - Clean way to write a two column proof - TeX - LaTeX Stack Exchange
Solved LaTeX Quiz Use La Te X to write the following proof, | Chegg.com
indentation - Formal proof formatting in Latex - TeX - LaTeX Stack Exchange
spacing - How to correctly and consistently typeset proofs with implications - TeX - LaTeX Stack Exchange
Theorems and Proofs - LaTeX Tutorial (Part 9) - YouTube
Theorem Environments
Output of \qed symbol in LaTeX within a proof environment at the end of an enumerate statement - Stack Overflow
