pdftex - How to change the title of the 'proof' environment? - TeX - LaTeX Stack Exchange
Theorems and proofs - Overleaf, Online LaTeX Editor
Theorems and proofs - ShareLaTeX, Online LaTeX Editor
indentation - Formal proof formatting in Latex - TeX - LaTeX Stack Exchange
A Controlled Natural Language for Type Theory
spacing - Proofs of several parts of a theorem or of equivalent definitions - TeX - LaTeX Stack Exchange
math mode - How to get started to typeset mathematical proofs with LaTeX? - TeX - LaTeX Stack Exchange
Creating an example environment structured exactly like amsthm's proof environment - TeX - LaTeX Stack Exchange
Proofs and Inferences in Proving Propositional Theorem - GeeksforGeeks
How does one display an arbitrary programming language (e.g. Isabelle/Isar) in latex in their native display in *.pdf format? - Stack Overflow
Theorems and proofs - Overleaf, Online LaTeX Editor
cross referencing - How can I create a "Proof of Theorem x.xx" header for a proof environment? - TeX - LaTeX Stack Exchange
Theorems and proofs - Overleaf, Online LaTeX Editor
Three Types of Geometric Proofs You Need to Know
How You Use the Triangular Proportionality Theorem Every Day
Regular operations
Proofs and Concepts: The Fundamentals of Abstract Mathematics - Open Textbook Library
Proof-at-the-end, or how to move proofs in appendix in LaTeX
What is the meaning of QED in mathematics? - Quora
How to correctly format (and align) a LaTeX proof? - TeX - LaTeX Stack Exchange
How to correctly format (and align) a LaTeX proof? - TeX - LaTeX Stack Exchange
theorems - How to remove the word "Proof:" from the environment proof? - TeX - LaTeX Stack Exchange
Numbering proofs of theorem - TeX - LaTeX Stack Exchange
