Доступен ли еще pf2.sty Лесли Лэмпорта?

Question

Я хочу использовать pf2.sty Лесли Лэмпорта для изложения математических доказательств, но ссылка наСтраница ЛэмпортаКажется, он сломан. Есть ли способ получить файл?

Answer 1

Несмотря на заголовок, говорящийpf.styЯ думаю, что это pf2 из кэша гугла

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