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

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

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

答案1

相关内容