Community

Lemma is open source. The language, reference implementation, and issue tracker live on GitHub.

Topics

• Contributing: setup, tests, pull requests, releases

Publish specs

When a spec is ready to share or run with a team, publish it on LemmaBase.

License

Apache 2.0