|
Lurch is a mathematical word processor that checks the reasoning in users' documents, even mathematical proofs. This project is rewriting Lurch for the web. |
|
- If you're interested in using Lurch right now, try the desktop version.
- To see the status of this new version in detail, view the full webLurch documentation.
- To help with development, jump to the developer documentation.