The cost factory for SnowWhite

ink

def maxw : ℕ

Equations

• maxw = 80

ink

def ourFactory : Factory (ℕ × ℕ)

The cost factory for SnowWhite (Section 6) along with proofs that the operations satisfy the contracts imposed by the cost factory interface.

Equations

• One or more equations did not get rendered due to their size.