LAFF-On 1.6.2 Typesetting proofs with LaTeX - YouTube
Theorems and proofs - ShareLaTeX, Online LaTeX Editor
Improved mathjax process: add the theorem environments and beautify HTML code preview · Issue #187 · benweet/stackedit · GitHub
Solved Write careful proofs, using the latex theorem/proof | Chegg.com
A Sample Proof Using Mathematical Induction (playing with LaTeX) | Brandon Grasley's Blog
spacing - How to correctly and consistently typeset proofs with implications - TeX - LaTeX Stack Exchange
numbering - How do you reprint a theorem, proposition, etc. in its entirety? - TeX - LaTeX Stack Exchange
indentation - Formal proof formatting in Latex - TeX - LaTeX Stack Exchange
How to correctly format (and align) a LaTeX proof? - TeX - LaTeX Stack Exchange
Latex Proof Structuring Environment for the Course "Argumentation & Proof" · GitHub
math mode - How to get started to typeset mathematical proofs with LaTeX? - TeX - LaTeX Stack Exchange
LaTeX Package for Typesetting Fitch Proofs LPL-Style | Richard Zach
Theorems and proofs - Overleaf, Online LaTeX Editor
Theorem Environments
Theorems and proofs - Overleaf, Online LaTeX Editor
amsthm - Theorem name and number in margin, note in text - TeX - LaTeX Stack Exchange
LaTeX - Theorem - YouTube
Theorems and proofs - ShareLaTeX, Online LaTeX Editor
Theorems and proofs - ShareLaTeX, Online LaTeX Editor
Theorems and proofs - ShareLaTeX, Online LaTeX Editor
math mode - Which packages/practices are relevant for writing Structured Derivations? (similar to Dijkstra's calculational style of proofs) - TeX - LaTeX Stack Exchange
Fancy boxes for theorem, lemma, and proof with mdframed – texblog
How to correctly format (and align) a LaTeX proof? - TeX - LaTeX Stack Exchange
Theorems and proofs - Overleaf, Online LaTeX Editor
Proof-at-the-end, or how to move proofs in appendix in LaTeX
