PROOF.bend checks

raw source on the hub · import 0x4b7f9a0323ec18e3ac8e3a9514a1906d/PROOF.bend as PROOF

import Base
import ./LAWS.bend as Laws

This file declares nothing of its own.