PROOF.bend checks

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

import Base
import ./LAWS.bend as Laws

This file declares nothing of its own.