100%

ProofWeave

Convert Markdown mathematical proofs into clean, well-formatted LaTeX.

GitHub

Editing Markdown

0 input / 0 output / 0 diagnostics

View

Edit Markdown View LaTeX output

Indentation

Indent with tabs Indent with 2 spaces Indent with 4 spaces No indentation

Inline math

Use $...$ Use $...$

Display math (statement)

Use $$...$$ Use \[...\] Use equation environment

Display math (main text)

Use $$...$$ Use \[...\] Use equation environment

Section headings

Unnumbered \section*{} Numbered \section{}

Math spacing

Format math spacing

Relations = < \le Binary operators + * \times Punctuation comma and semicolon Compact parentheses f(x) Paired bars | x | Named functions \sin x

Tidy

Remove \boxed{} wrappers Unwrap boxes; keep their contents. Use 3-letter label prefixes Use canonical prefixes in labels and refs. Brace math font arguments \mathcal X → \mathcal{X}. Collapse repeated math spaces Collapse spaces; preserve TeX spacing. Use consistent comparison commands Unify \ge, \le, and \neq. Greater or equal Less or equal Not equal Use one empty-set command Unify \emptyset and \varnothing. Use macros for vectors, matrices, and sets Map bold/\mathcal to \v*/\m*/\f*. Use \set{} for sets Brace variants → \set{...}. Use \transpose for transposes T/\top/\intercal → \transpose.

Diagnostics

No diagnostics for the current input.

CLI

URL