A Sample Proof Using Mathematical Induction (playing with LaTeX) | Brandon Grasley's Blog
How to correctly format (and align) a LaTeX proof? - TeX - LaTeX Stack Exchange
Casting Out Nines: How to convert a “backwards” proof into a “forwards” proof
A Sample Proof Using Mathematical Induction (playing with LaTeX) | Brandon Grasley's Blog
LAFF-On 1.6.2 Typesetting proofs with LaTeX - YouTube
LaTeX Package for Typesetting Fitch Proofs LPL-Style – Richard Zach
Theorems and Proofs - LaTeX Tutorial (Part 9) - YouTube
math mode - Any good way to write mathematical induction proof steps in LaTeX? - TeX - LaTeX Stack Exchange
Theorems and proofs - Overleaf, Online LaTeX Editor
Geneseo Math 239 01 LaTeX
math mode - Which packages/practices are relevant for writing Structured Derivations? (similar to Dijkstra's calculational style of proofs) - TeX - LaTeX Stack Exchange