Leslie Lamport 的 pf2.sty 还可以用吗? 2024-5-23 • packages 我想使用 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 相关内容 使用 xsim 的多个提示环境 监控后台作业的进度/活跃度 无法在 Ubuntu 22 上播放 DVD duplicity 在 deja-dup 中崩溃 已删除 Ubuntu 分区 - 没有 Windows 恢复磁盘 无法创建目录:设备上没有剩余空间 iptables 字节计数器何时清除? 64 位操作系统中的 32 位应用程序内存使用情况。 Ubuntu 11.10 中的 lyx 和 texlive 2012 [关闭] 带有铸造包的背景颜色:代码放错了位置