pf2html
L ^{A}TEX2
+ pf.sty (hypertext proofs)
HTML |

Home |
Restrictions | Proofs | Download | Publications | Related links | Contacts |

Leslie Lamport wrote an article on
"How to Write a Proof" back in 1993. In it, he described the
L |

A
L^{A}TEX2`HTML`
extension for pf.sty allowing hypertext style proofs.

*Last Update: 2002-10-15, Wolfgang Slany & Martin Glowacki *