Implement attribute for Optimization Constants

Open

#2,143 opened on Feb 3, 2026 4 comments 2 reactions 2 assignees Claimed by @BoltonBailey View on GitHub

Description

See discussion here: https://github.com/google-deepmind/formal-conjectures/pull/1899#discussion_r2734051775

I intend to have a go at this.

This issue has not been assessed yet.