Awesome

typst-pf3

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)

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