Quiero usar pf2.sty de Leslie Lamport para presentar pruebas matemáticas, pero el enlace enLa página de Lamport.parece estar roto. ¿Hay alguna forma de conseguir el archivo?
Respuesta1
A pesar del título que dicepf.styCreo que esto es pf2 del caché de Google.