Proofs and Concepts: The Fundamentals of Abstract Mathematics - Open Textbook Library
theorems - \newtheorem other language - TeX - LaTeX Stack Exchange
unicode - Adding another language (Vietnamese) to the the latex template - TeX - LaTeX Stack Exchange
Survey around Semantics for Programming Languages, and Machine Proof …
Creating an example environment structured exactly like amsthm's proof environment - TeX - LaTeX Stack Exchange
pdftex - How to change the title of the 'proof' environment? - TeX - LaTeX Stack Exchange
Theorems and proofs - Overleaf, Online LaTeX Editor
Three Types of Geometric Proofs You Need to Know
How to correctly format (and align) a LaTeX proof? - TeX - LaTeX Stack Exchange
Proofs and Inferences in Proving Propositional Theorem - GeeksforGeeks
theorems - How to remove the word "Proof:" from the environment proof? - TeX - LaTeX Stack Exchange
The Joy of Slightly Fishy Proofs – Math with Bad Drawings
indentation - Formal proof formatting in Latex - TeX - LaTeX Stack Exchange
Regular operations
amsthm - \qedhere warning in description in proof - TeX - LaTeX Stack Exchange
Theorems and proofs - ShareLaTeX, Online LaTeX Editor
Proof-at-the-end, or how to move proofs in appendix in LaTeX
How You Use the Triangular Proportionality Theorem Every Day
What is the meaning of QED in mathematics? - Quora
Mathematical documents faithfully computerised : the grammatical and text & symbol aspects of the MathLang framework. | Semantic Scholar
environments - How to create a framed proof attached to a theorem? - TeX - LaTeX Stack Exchange
