Optimization
Kind: lens
Record: reasoning:lens-optimization
Canonical: Reasoning
What is the best possible state?
Listed in Reasoning records, after Invariant and before Complexity.
Kind: lens
Record: reasoning:lens-optimization
Canonical: Reasoning
What is the best possible state?
Listed in Reasoning records, after Invariant and before Complexity.