The word processor that can check your math

Is there any documentation available?

Yes. Documentation is available online in pdf format here

Those documents and a hands-on tutorial are also available by pressing F1 inside the Lurch application itself. (If you are a developer or thinking about becoming one, you can find the documentation for the Lurch source code itself here.)

Comments are currently closed.