Home | Blog | Wiki | About

Links

• LaTeX for logicians
• DO's and DON'Ts when typesetting a document
• Advise on making academic posters: link, link

Packages

• mathpartir: type rules

  • array environment can be useful with this
  • Typesetting inference rules with mathpartir: link

• bussproof: proof trees

• Packages for typesetting natural deduction: link

• simplebnf: for simple grammars

• Code formatting:

  • listing
  • minted (needs Python)
  • lhs2tex (for Haskell) ʳ

TikZ

• tikzcd: Commutative diagrams in category theory
• https://texample.net/tikz/examples/all/
• tikzmath, apparently a tikz library to have functions
  • https://uva-fnwi.github.io/LaTeX/extra1/Tikz/: Includes a mention of tikzmath library
• tikz-automata: Draw automata transition diagrams
• MetaPost may be cool too.
  • https://tug.org/docs/metapost/mpman.pdf