Pinned Loading

1. prooftrees prooftrees Public

   A LaTeX package for drawing logical tableaux.

   TeX 2

2. nfssext nfssext Public

   nfssext-cfr and LaTeX font packages

   TeX 1 1

3. chronos chronos Public

   A LaTeX package for drawing timelines.

   TeX 4

4. latex-1-2 latex-1-2 Public

   LaTeX I and II are a series of introductory and intermediate workshops designed as part of Cardiff University's postgraduate training

   TeX 4 2

5. fillwith fillwith Public

   TeX

6. ebgaramond-maths ebgaramond-maths Public

   Limited support for EBGaramond12 in LaTeX maths on 8-bit engines.

   TeX