typst-pf3
Proof style
A LaTeX style port from Leslie Lamport's pf2.sty to Typst for writing structured proofs.
Port (not 1-1) of Leslie Lamport's pf2.sty LaTeX style to Typst.
3 stars
1 watching
0 forks
last commit: about 1 year ago
Linked from 1 awesome list
qjcg/awesome-typstRelated projects:
| Repository | Description | Stars |
|---|---|---|
 namin/dot | Mechanized proof of soundness for a type-theoretic foundation for languages like Scala | 154 |
 zagoli/simple-typst-thesis | A template for writing a thesis using the Typst document editor with customizable headers and layout. | 43 |
 messense/typst-py | Provides a Python interface to compile and query markup-based typesetting system typst. | 115 |
 marcothms/clean-polylux-typst | A dynamic Polylux presentation template for Typst | 10 |
 pgbiel/typst-oxifmt | A Typst library for convenient string formatting and interpolation with Rust-like syntax. | 31 |
 yangwenbo99/typst-uwthesis | A LaTeX template for university thesis formatting with customizations for the University of Waterloo | 11 |
 johanvx/typst-undergradmath | A Typst port of a LaTeX-based math package | 109 |
 leedehai/typst-physics | A Typst package providing typesetting utilities for natural sciences | 351 |
 bsp0109/ieee-typst-template | A customizable IEEE paper template with a modified font size for titles. | 25 |
 evanluo42/typst-himcm-template | A Typst template for creating HiMCM documents | 2 |
 wychwitch/typst-mla9-template | A Typst template for creating MLA formatted documents | 13 |
 staempfli/magento2-module-pdf | A Magento 2 module that enables PDF generation using wkhtmltopdf | 58 |
 sematre/typst-letter-pro | Generates business letters following the DIN 5008 standard with predefined sections and layout | 99 |
 wusyong/resume.typ | A Typst template and resume project mirroring a public online version | 130 |
 uwplse/structtact | A Coq library providing structural tactics and utility definitions to simplify proof development in proof assistants. | 21 |