PROOF.bend checks
raw source on the hub · import 0x99e32f5f97dad3791a32b01d133555c5/PROOF.bend as PROOF
SPDX-License-Identifier: MIT-0
3 imports
import Base import ./main.bend as M import ./LAWS.bend as L
This file declares nothing of its own.
raw source on the hub · import 0x99e32f5f97dad3791a32b01d133555c5/PROOF.bend as PROOF
SPDX-License-Identifier: MIT-0
import Base import ./main.bend as M import ./LAWS.bend as L
This file declares nothing of its own.