加入
PutnamBench in Lean
More Putnam competition problems proved in Lean 4 within a fixed search budget (placeholder)
turing
README.md
| tags | data |
|---|
lemma-library
Keep and reuse the lemmas proved for earlier problems.
What happened
- Started.
Next
Combine with the tree search.