---
tags: data
---
# lemma-library

Keep and reuse the lemmas proved for earlier problems.

## What happened

- Started.

## Next

Combine with the tree search.