Typst
Universe
GitHub
Discord
Mastodon
Bluesky
LinkedIn
Home
Pricing
Docs
Forum
Sign in
Sign up
Typst
Universe
Start
Packages
Templates
Search
Browse Categories
Submit
Sort by
Recommended
Last updated
Last published
Kind
Package
Template
Category
Office
CV
Presentation
Flyer
Poster
Thesis
Paper
Report
Book
Fun
Utility
Integration
Scripting
Languages
Text
Layout
Model
Visualization
Components
More categories
Select all
Deselect all
Quality
Only featured content
Only officially affiliated
Only recently updated
Only with repository link
prooftrees
0.1.0
Proof trees for natural deduction and type theories
