feat: Port 20 more numeric-only Dafny synthesis tasks (batch 8)#117

Open

alok wants to merge 9 commits intomainfrom

dafnybench-batch8

Commits on Jul 9, 2025

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

alok
and
claude
committed

Commits on Jul 11, 2025

feat: Port 20 more numeric-only Dafny synthesis tasks (batch 8)
alok
committed