This repository has been archived by the owner on Aug 20, 2021. It is now read-only.

Document dirty lemmas feature #401

Open

asymmetric opened this issue Apr 14, 2020 · 0 comments

Labels

Contributor

asymmetric commented Apr 14, 2020

As seen in the README.

asymmetric added the documentation label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.