Practical reasoning and the witnessably rigorous proof | SpringerLink
COMMON LATEX ERRORS (AND HOW TO AVOID THEM) 1. Use built-in L ATEX commands Whenever available. They take care of proper fonts a
Theorems and proofs - ShareLaTeX, Online LaTeX Editor
FAQ — Proof 1.5.0 documentation
hyperref - Reference to proof prints section instead - TeX - LaTeX Stack Exchange
warnings - Claim counter, destination with same identifier - TeX - LaTeX Stack Exchange
lists - Enumerating inside a proposition and inside a proof - TeX - LaTeX Stack Exchange
environments - How to create a framed proof attached to a theorem? - TeX - LaTeX Stack Exchange
LaTex Tutorial # 13 - Numbering within a section, Proof Environment - YouTube
theorems - How to remove the word "Proof:" from the environment proof? - TeX - LaTeX Stack Exchange
theorems - ntheorem: numbering of claim and its proof - TeX - LaTeX Stack Exchange
Proof-at-the-end, or how to move proofs in appendix in LaTeX
Insanely Long Proofs | Azimuth
Theorems and proofs - ShareLaTeX, Online LaTeX Editor
Insanely Long Proofs | Azimuth
Mark Schmidt on Twitter: "#Galactica AI does not disappoint. Look how short that proof is, and it saved me time generating my own LaTeX error and false claim about projected gradient. https://t.co/xLYG1v54pt" /
Uniform Approximation, Bernstein Polynomials (Real Analysis)
Art of Problem Solving
Theorems and proofs - Overleaf, Online LaTeX Editor
amsmath - How to obtain claim numbered within proof without changing the default look - TeX - LaTeX Stack Exchange
4.7.1 The amsthm Package
math mode - How to get started to typeset mathematical proofs with LaTeX? - TeX - LaTeX Stack Exchange
Proof by f*cking obvuiousness! : r/mathmemes
Request for Collaborators: Better Tools for Math Research
numbering - Counters for claims - TeX - LaTeX Stack Exchange
Theorems and proofs - ShareLaTeX, Online LaTeX Editor
