Mathematical Pamphlet

I've done some reading about presenting somewhat formal proofs (a bit shy of those that can be machine checked), and wanted LaTeX packages that could help me with it. In particular, tedious programming language proofs by near-trivial induction over syntactic structures. I didn't find anything great, but I did find some packages.

Some stuff that Leslie Lamport wrote would be nice if it didn't conflict with every other style file; I edited it to remove the conflicts and I'm using it now.

http://research.microsoft.com/users/lamport/latex/latex.html Also, since we are regularly pushing proofs to appendices:

http://tug.ctan.org/cgi-bin/ctanPackageInformation.py?id=thrmappendix

Filed under: LaTeX, Mathematics by Kenn