namočené výkrik Štvorcová zátvorka latex claim and proof zúbkovaný Montgomery vrchol
environments - How to create a framed proof attached to a theorem? - TeX - LaTeX Stack Exchange
Proof by f*cking obvuiousness! : r/mathmemes
Theorems and proofs - Overleaf, Online LaTeX Editor
theorems - ntheorem: numbering of claim and its proof - TeX - LaTeX Stack Exchange
Theorems and proofs - ShareLaTeX, Online LaTeX Editor
Theorems and proofs - ShareLaTeX, Online LaTeX Editor
Theorems and proofs - ShareLaTeX, Online LaTeX Editor
Theorems and proofs - Overleaf, Online LaTeX Editor
Request for Collaborators: Better Tools for Math Research
What is your favorite proof of the Pythagorean Theorem? - Quora
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" /
Practical reasoning and the witnessably rigorous proof | SpringerLink
FAQ — Proof 1.5.0 documentation
Proof-at-the-end, or how to move proofs in appendix in LaTeX