Variable VERIFIED_MAXIMUMConst

VERIFIED_MAXIMUM: bigint = ...

The current value up to which has been proven numerically, for the default parameterisation.

Generated using TypeDoc