lean-refactor-arena / benchmark_data.jsonl

Commit History

Switch to real putnam_small benchmark + statement-match guard
f946490

mikeljl commited on