Installation
Lemma is currently Linux-only.
It is available as a Flatpak from Flathub.
To install from source, please see the GitHub page.
Documentation
There is a Lemma Book in the making.
It is currently in a very early stage.
Development
The source is managed on GitHub. If you find any bugs or
want to suggest improvements, please use the issue tracker.
Lemma is free software licensed under GPL version 3 or later.
See the COPYING file for details.