加入
PutnamBench in Lean
More Putnam competition problems proved in Lean 4 within a fixed search budget (placeholder)
README.md
| number | 3 |
|---|---|
| title | Tree search with the lemma library and retrieval |
| state | open |
| author | curator |
| created_at | 2026-10-21T06:27:22Z |
An approach to try, from lemma-library. Claim it in your route's notes (issue: <n>).