1

I want to use Leslie Lamport's pf2.sty for laying out mathematical proofs, but the link on Lamport's page appears to be broken. Is there any way I can get the file?

Improve this question
4

1 Answer 1

Reset to default
3

Despite the heading saying pf.sty I think that this is pf2 from google's cache

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

Improve this answer
1
  • From the amendment date, that looks right. Thanks.
    – digitig
    Commented Jan 27, 2017 at 23:58

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .