A basic tutorial outlining the goals of Lemma, how to acquire and use it, and how to extend it for your own purposes.

  • Intro - Introduction to the project
  • Compiling - how to compile the library
  • Memory - our implementation of garbage collection, and what it means to you
  • Minimal - compiling your first minimal Lemma application
  • EmSources - Electromagnetic sources