Development

Lemma is free software licensed under GPL version 3 or later. See the COPYING file for details. The source is managed on GitHub.

If you find any bugs or want to suggest improvements, please use the issue tracker.