- LYX 1.3.6 com a editor LATEX.
Amb les macros fitch.sty de Johan W.
Klüwer per fer un esquema de deducció natural.
- GraphViz per fer els grafs (escrits
en text pla), com el de l'arbre de lògiques.
- awk per fer substitucions de
cadenes per caràcters Unicode (ja que LYX encara no suporta Unicode).
- Makefile per automatitzar la
generació de tot
- Altres: ImageMagick, iconv, xdvi,
vim, txt2tags
- Debian Linux a un Pentium 233 MMX
amb 64 Mb. RAM.
Daniel Clemente Laboreo 2006-07-13