O pf2.sty de Leslie Lamport ainda está disponível?

Question

Quero usar o pf2.sty de Leslie Lamport para apresentar provas matemáticas, mas o link emA página de Lamportparece estar quebrado. Existe alguma maneira de obter o arquivo?

Answer 1

Apesar do título dizerpf.styAcho que este é o PF2 do cache do Google

http://webcache.googleusercontent.com/search?q=cache:GmTvkzjvNK0J:research.microsoft.com/en-us/um/people/lamport/latex/pf2.sty