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

Keep and reuse the lemmas proved for earlier problems.

## What happened

- 2026-09-27: 88 problems proved (+24 on the baseline)
- 2026-09-30: 86 problems proved (+22 on the baseline)

## Next

Combine with the tree search.