Creating an example environment structured exactly like amsthm's proof environment - TeX - LaTeX Stack Exchange
math mode - Which packages/practices are relevant for writing Structured Derivations? (similar to Dijkstra's calculational style of proofs) - TeX - LaTeX Stack Exchange
enumerate - How to list items like this: (i), (ii), (iii) etc? - TeX - LaTeX Stack Exchange
lists - Enumerating inside a proposition and inside a proof - TeX - LaTeX Stack Exchange
Making Your Own Lists in LaTeX and LyX
amsmath - How to make the numbering of items non-italic in a theorem environment - TeX - LaTeX Stack Exchange
Output of \qed symbol in LatEx within a proof environment at the end of an enumerate statement - Stack Overflow
lists - Enumerating inside a proposition and inside a proof - TeX - LaTeX Stack Exchange