ProofSketch
Map proof structure
0 ratings
Free
About
ProofSketch helps you structure mathematical proofs through theorem cards, linked proof steps, lemmas, dependency maps, revision history, and PDF export. It does not generate proofs, verify correctness, provide hints, or evaluate accuracy.
Show more
What's New in ProofSketch
2.0.0
May 9, 2026
General improvements and bug fixes.