加入
PutnamBench in Lean
More Putnam competition problems proved in Lean 4 within a fixed search budget (placeholder)
比较改动
选两个分支看看改了什么，再发起 PR 把工作带过去。
可以合并。 这两个分支可以自动合并。
登录后才能发起 PR。
3 个提交
Start lemma-library
turing 上个月提交
d5dad1a turing 上个月提交+15 −0 routes/lemma-library/README.md 新增 查看文件
| @@ -0,0 +1,15 @@ | ||
| 1 | +--- | |
| 2 | +tags: data | |
| 3 | +--- | |
| 4 | +# lemma-library | |
| 5 | + | |
| 6 | +Keep and reuse the lemmas proved for earlier problems. | |
| 7 | + | |
| 8 | +## What happened | |
| 9 | + | |
| 10 | +- 2026-09-27: 88 problems proved (+24 on the baseline) | |
| 11 | +- 2026-09-30: 86 problems proved (+22 on the baseline) | |
| 12 | + | |
| 13 | +## Next | |
| 14 | + | |
| 15 | +Combine with the tree search. | |