[Haskell] Announce: online free theorems generator now with PDF output

Janis Voigtlaender voigt at tcs.inf.tu-dresden.de
Tue Mar 4 06:27:18 EST 2008


The free theorems generator online at:

   http://linux.tcs.inf.tu-dresden.de/~voigt/ft ,

previously announced here:

   http://www.haskell.org/pipermail/haskell/2007-October/019917.html ,

now allows to export generated theorems and associated information as
.pdf files with nice mathematical markup.

The new feature was implemented by Florian Stenger. It builds on Patryk
Zadarnowski's lambdaTeX package.

Have fun,
Janis.

-- 
Dr. Janis Voigtlaender
http://wwwtcs.inf.tu-dresden.de/~voigt/
mailto:voigt at tcs.inf.tu-dresden.de



More information about the Haskell mailing list