pf2html LATEX2HTML + pf.sty (hypertext proofs)

All of the following proofs are converted in conjunction with the L^ATEX proof style of Leslie Lamport and the L^ATEX2HTML proof extension.

• Pythagoras
  Wolfgang Slany
  April 25, 2002

  • HTML (dynamic)
  • PDF
  • Postscript
  • LaTeX
  
  
  • all files (tgz)
  
  

• A proof of the irrationality of
  Leslie Lamport
  December 1, 1993

  • HTML (dynamic)
  • PDF
  • Postscript
  • LaTeX
  
  
  • all files (tgz)
  
  

• Proof that all natural numbers are interesting
  Leslie Lamport
  December 1, 1993

  • HTML (dynamic)
  • PDF
  • Postscript
  • LaTeX
  
  
  • all files (tgz)
  
  

• Exponential blowup from conjunctive to disjunctive normal form
  Wolfgang Slany
  March 3, 2002

  • HTML (dynamic)
  • PDF
  • Postscript
  • LaTeX
  
  
  • all files (tgz)