Constants Domain Library

Constant-related workflows currently use ConstantFactory as a perturbation observer template over q-product moments.

Start with the proof template:

Perturbation Observers With ConstantFactory

Detailed API reference:

ConstantFactory Certificates