ProofCraft
Print to PDF
Export as .tex
Editor
Preview
Generate Outline
Validate Logic
Validate Syntax
Logic Validation
Click "Validate Logic" to check your proof for inconsistencies.