webLurch Documentation
Lurch is a mathematical word processor that checks the reasoning in users' documents, even mathematical proofs.
- Current version: Desktop app for Windows, Mac, and Linux
- In development: Web version, hosted and document here on this site
(You can try it live now, but it's still incomplete.)
Use the menus at the top to find what you're looking for.
Source on GitHub: