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.)