Skip to content

simplify proof gen params#5

Merged
olivmath merged 3 commits into
mainfrom
claude/simplify-proof-gen-params-01L8QQiAr55pDzybgsZ1ATLh
Dec 6, 2025
Merged

simplify proof gen params#5
olivmath merged 3 commits into
mainfrom
claude/simplify-proof-gen-params-01L8QQiAr55pDzybgsZ1ATLh

Commits

Commits on Dec 6, 2025