![math mode - Which packages/practices are relevant for writing Structured Derivations? (similar to Dijkstra's calculational style of proofs) - 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](https://i.stack.imgur.com/ISRtR.png)
math mode - Which packages/practices are relevant for writing Structured Derivations? (similar to Dijkstra's calculational style of proofs) - TeX - LaTeX Stack Exchange
![math mode - How to draw "flag format" lambda derivation diagrams as used in the book Type Theory and Formal Proof: An Introduction - TeX - LaTeX Stack Exchange math mode - How to draw "flag format" lambda derivation diagrams as used in the book Type Theory and Formal Proof: An Introduction - TeX - LaTeX Stack Exchange](https://i.stack.imgur.com/GsFAm.png)
math mode - How to draw "flag format" lambda derivation diagrams as used in the book Type Theory and Formal Proof: An Introduction - TeX - LaTeX Stack Exchange
![Miles Cranmer on Twitter: "I regret not reading through the full LaTeX physics package earlier; so many more features than I realized. Many commands that I usually define by hand... e.g., some Miles Cranmer on Twitter: "I regret not reading through the full LaTeX physics package earlier; so many more features than I realized. Many commands that I usually define by hand... e.g., some](https://pbs.twimg.com/media/EkpAktvXIAAgZkf.jpg:large)