Convert
Produce editable source in the target format with an in-browser WASM engine.
Runs in your browser
LaTeX ↔ Typst conversion checker
Convert the document.
Audit what changed.
TypstProof converts both directions, runs a round trip, then shows structural drift before you trust or submit the result.
No accountNo uploadRound-trip auditDownloadable evidence
01
Paste or open your source
Your document stays inside this browser tab.
LaTeX source
Typst result
⇄Converted source appears here
The audit runs in the same step.
03
One conversion is not evidence.
TypstProof treats the result as a hypothesis and checks it three ways.
Round trip
Convert the result back to the original format to expose structural drift.
Reconcile
Compare headings, lists, tables, equations, citations, links, images and parser warnings.
04
What this checker cannot prove
Not visual equivalence
Matching structure does not mean both formats render pixel-for-pixel the same.
Not package compatibility
Custom macros, templates, bibliography tools, TikZ and Typst program logic may need manual repair.
Not submission approval
Publishers and journals control their own current templates, rules and accepted source formats.
Common questions
Does TypstProof upload my document?
No. Conversion and structural analysis run locally in your browser. The site may count privacy-safe interaction events, but never sends source text or filenames in analytics.
Why use a round trip?
It creates a simple independent check: if a structure disappears or changes after returning to the source format, that change should enter the human review queue.
Can I trust a low-risk result?
Use it as a faster review starting point, not a guarantee. Compile both versions and inspect equations, tables, references, figures and layout before relying on the output.