Getting Started

Installation

Lemma is currently Linux-only. You can find info about obtaining it on its main homepage.