Avoid unnecessary Vec allocations in greedy proof selection#254
Merged
pablodeymo merged 1 commit intomainfrom Apr 1, 2026
Merged
Avoid unnecessary Vec allocations in greedy proof selection#254pablodeymo merged 1 commit intomainfrom
pablodeymo merged 1 commit intomainfrom
