---
issue: 3
status: working
tags: search, data
---
# search-and-lemmas

Tree search with the lemma library and retrieval.

## What happened

- Started.

## Next

Self-play on the problems it still fails.