feat: Port 20 more numeric-only Dafny synthesis tasks (batch 7)#116

Open

alok wants to merge 8 commits intomainfrom

dafnybench-batch7

Commits on Jul 9, 2025

feat: Port 10 more Dafny specs to Lean 4 (41-50)

alok
and
claude
committed