typst-pf3
September 6, 2023 ยท View on GitHub
Unofficial Typst "port" of Leslie Lamport's pf2.sty LaTeX style (link) for writing structured proofs (see Lamport's How to Write a 21st Century Proof)
September 6, 2023 ยท View on GitHub
Unofficial Typst "port" of Leslie Lamport's pf2.sty LaTeX style (link) for writing structured proofs (see Lamport's How to Write a 21st Century Proof)