Leslie Lamport 的 pf2.sty 還可用嗎?

Leslie Lamport 的 pf2.sty 還可用嗎?

我想使用 Leslie Lamport 的 pf2.sty 來佈置數學證明,但是鏈接蘭波特的頁面似乎壞了。有什麼辦法可以取得該文件嗎?

答案1

相關內容