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
Components
Visualization
Model
Layout
Text
Languages
Scripting
Integration
Utility
Fun
Book
Report
Paper
Thesis
Poster
Flyer
Presentation
CV
Office
More categories
Select all
Deselect all
Quality
Only featured content
Only officially affiliated
Only recently updated
Only with repository link
boxproof
0.1.0
Create boxed proofs for natural deduction
