# typst-pf3
Unofficial Typst "port" of Leslie Lamport's `pf2.sty` LaTeX style ([link](https://lamport.azurewebsites.net/latex/pf2.sty)) for writing structured proofs (see Lamport's [_How to Write a 21st Century Proof_](https://lamport.azurewebsites.net/pubs/proof.pdf))

See also https://lamport.azurewebsites.net/latex/latex.html 
