LaTeX editing tools

Editing LaTeX is very nice with WhizzyTeX but I seem to frequently get version/program conflicts where one or more of emacs/whizzytex/advi are unhappy. So I came across a variety of emacs helpers for writing TeX with a little less pain; I have yet to try them out so this list is as much for […]

Filed under: LaTeX, Linux by Kenn
No Comments »

Presenting semi-formal proofs in LaTeX

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.

Filed under: LaTeX, Mathematics by Kenn
No Comments »