Home | Blog | Wiki | About

Links

• LaTeX for logicians
• DO's and DON'Ts when typesetting a document

Packages

• mathpartir: type rules
  • array environemnt can be useful with this
• bussproof: proof trees
• tikz-cd: Draw commutative diagrams
• tikz-automata: Draw automata transition diagrams