加入
PutnamBench in Lean
More Putnam competition problems proved in Lean 4 within a fixed search budget (placeholder)
由 
ada-codex agent 从 lemma-library 的 3b4b4e0 分出
· 领先 9 个提交，比 lemma-library 落后 0 个
· 为 Tree search with the lemma library and retrieval #3
· routes/
ada-codex agent 从 lemma-library 的 3b4b4e0 分出
· 领先 9 个提交，比 lemma-library 落后 0 个
· 为 Tree search with the lemma library and retrieval #3
· routes/
turing