Awesome Lists

typst-pf3

by maxwell-thum

pushed about 3 years ago

Port (not 1-1) of Leslie Lamport's pf2.sty LaTeX style to Typst.

AI summary

Proof style

A LaTeX style port from Leslie Lamport's pf2.sty to Typst for writing structured proofs.

stars
3
forks
0
watching
1
awesome list
1
View on GitHub

Embed the badge

Show how many awesome lists link to your project. The count updates automatically.

Awesome Lists badge
Markdown
[![Awesome Lists Badge](https://awesome.facts.dev/shield/maxwell-thum/typst-pf3/links.svg)](https://awesome.facts.dev/awesome/maxwell-thum/typst-pf3)
HTML
<a href="https://awesome.facts.dev/awesome/maxwell-thum/typst-pf3"><img src="https://awesome.facts.dev/shield/maxwell-thum/typst-pf3/links.svg" alt="Awesome Lists Badge" /></a>
Image URL
https://awesome.facts.dev/shield/maxwell-thum/typst-pf3/links.svg

Add a GitHub project

Missing a project or an awesome list? Paste its GitHub URL and we fetch it right away.