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)
-
Notifications
You must be signed in to change notification settings - Fork 0
Port (not 1-1) of Leslie Lamport's `pf2.sty` LaTeX style to Typst.
License
maxwell-thum/typst-pf3
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Port (not 1-1) of Leslie Lamport's `pf2.sty` LaTeX style to Typst.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published