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 (SourceForge Download)
  
  

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

  • HTML (dynamic)
  • PDF
  • Postscript
  • LaTeX
  
  
  • all files (SourceForge Download)
  
  

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

  • HTML (dynamic)
  • PDF
  • Postscript
  • LaTeX
  
  
  • all files (SourceForge Download)
  
  

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

  • HTML (dynamic)
  • PDF
  • Postscript
  • LaTeX
  
  
  • all files (SourceForge Download)
  
  

• A very complicated theorem whose statement you don't really want to see.
  Leslie Lamport
  February 07, 2007

  • HTML (dynamic)
  • PDF
  • Postscript
  • LaTeX
  
  
  • all files (SourceForge Download)