Leslie Lamport의 pf2.sty를 아직 사용할 수 있나요?

Question

수학적 증명을 작성하기 위해 Leslie Lamport의 pf2.sty를 사용하고 싶지만 링크는 다음과 같습니다.램포트의 페이지깨진 것 같습니다. 파일을 구할 수 있는 방법이 있나요?

Answer 1

제목 말에도 불구하고pf.sty나는 이것이 Google 캐시의 pf2라고 생각합니다.

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