☰

Leslie Lamport 的 pf2.sty 还可以用吗？

tag-icon • tag-icon packages
Leslie Lamport 的 pf2.sty 还可以用吗？

我想使用 Leslie Lamport 的 pf2.sty 来布局数学证明，但是Lamport 的页面似乎已损坏。有什么方法可以获取该文件吗？

答案1

尽管标题说pf.sty我认为这是来自谷歌缓存的 pf2

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

相关内容