PROOF.bend checks

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

import Base
import ./LAWS.bend as Laws

This file declares nothing of its own.